SCP-3392 UPLC simplifier

This adds essentially a copy of the PIR inliner for UPLC. This has
pretty good results, with a 5-20% speedup and size decrease for many
programs.

Author: michaelpj

nix/pkgs/haskell/materialized-darwin/.plan.nix/plutus-core.nix

@@ -46,7 +46,7 @@ testClausify = testGroup "clausify"
                , testCase "formula3" $ mkClausifyTest Clausify.F3
                , testCase "formula4" $ mkClausifyTest Clausify.F4
                , testCase "formula5" $ mkClausifyTest Clausify.F5
-               , Tx.fitsInto "formula1 (size)" (Clausify.mkClausifyCode Clausify.F1) 5190
+               , Tx.fitsInto "formula1 (size)" (Clausify.mkClausifyCode Clausify.F1) 4700
                , runTestNested $ Tx.goldenBudget "formulaBudget" $ Clausify.mkClausifyCode Clausify.F1
                ]
 
@@ -64,7 +64,7 @@ testKnights = testGroup "knights"  -- Odd sizes call "error" because there are n
               , testCase "depth 100, 4x4" $ mkKnightsTest 100 4
               , testCase "depth 100, 6x6" $ mkKnightsTest 100 6
               , testCase "depth 100, 8x8" $ mkKnightsTest 100 8
-              , Tx.fitsInto "depth 10, 4x4 (size)" (Knights.mkKnightsCode 10 4) 3669
+              , Tx.fitsInto "depth 10, 4x4 (size)" (Knights.mkKnightsCode 10 4) 3299
               , runTestNested $ Tx.goldenBudget "knightsBudget" $ Knights.mkKnightsCode 10 4
               ]
 
@@ -92,7 +92,7 @@ testQueens = testGroup "queens"
                , testCase "Fc"    $ mkQueensTest 5 Queens.Fc
                , runTestNested    $ Tx.goldenBudget "queens5budget" $ Queens.mkQueensCode 5 Queens.Bt
                ]
-             , Tx.fitsInto "Bt (size)" (Queens.mkQueensCode 5 Queens.Bt) 3127
+             , Tx.fitsInto "Bt (size)" (Queens.mkQueensCode 5 Queens.Bt) 2707
              ]
 
 ---------------- Primes ----------------

nix/pkgs/haskell/materialized-darwin/.plan.nix/plutus-tx-plugin.nix

@@ -1,3 +1,3 @@
-({ cpu: 52200152258
-| mem: 174669548
+({ cpu: 48384265940
+| mem: 161852948
 })

nix/pkgs/haskell/materialized-linux/.plan.nix/plutus-core.nix

@@ -1,3 +1,3 @@
-({ cpu: 10654421928
-| mem: 33460972
+({ cpu: 9147401987
+| mem: 28399272
 })

nix/pkgs/haskell/materialized-linux/.plan.nix/plutus-tx-plugin.nix

@@ -1,3 +1,3 @@
-({ cpu: 19730440366
-| mem: 62692642
+({ cpu: 17257762943
+| mem: 54387542
 })