Bring back correct execution units and make the tests pass.

Signed-off-by: Sasha Bogicevic <sasha.bogicevic@iohk.io>

Author: v0d1ch

hydra-node/test/Hydra/ModelSpec.hs

@@ -159,8 +159,8 @@ spec = do
   -- This scenario seeds a head with a single party and an UTxO set of 42 elements,
   -- which is over the budget of the mocked chain implementation.
   -- See https://github.com/cardano-scaling/hydra/issues/2270
-  prop "fails fanout over the limit" $ expectFailure (propFanoutLimit 23)
-  prop "succeeds fanout under the limit" $ propFanoutLimit 22
+  prop "fails fanout over the limit" $ expectFailure (propFanoutLimit 15)
+  prop "succeeds fanout under the limit" $ propFanoutLimit 14
   context "logic" $ do
     prop "check conflict-free liveness" $ propDL conflictFreeLiveness
     prop "check head opens if all participants commit" $ propDL headOpensIfAllPartiesCommit

hydra-node/testlib/Test/Hydra/Chain/Direct/State.hs

@@ -394,7 +394,7 @@ genFanoutTx :: Int -> Gen (ChainContext, ClosedState, UTxO, Tx)
 genFanoutTx numParties = do
   ctx <- genHydraContextFor numParties
   (u0, stOpen@OpenState{headId}) <- genStOpen ctx
-  n <- elements [1 .. 10]
+  n <- elements [1 .. 7]
   toCommit' <- Just <$> genUTxOAdaOnlyOfSize n
   openVersion <- elements [0, 1]
   version <- elements [0, 1]

hydra-tx/src/Hydra/Ledger/Cardano/Evaluate.hs

@@ -236,8 +236,8 @@ maxTxSize = 16384
 maxTxExecutionUnits :: ExecutionUnits
 maxTxExecutionUnits =
   ExecutionUnits
-    { executionMemory = 20_000_000
-    , executionSteps = 20_000_000_000
+    { executionMemory = 14_000_000
+    , executionSteps = 10_000_000_000
     }
 
 -- | Max memory and cpu units of the current 'pparams'.