Proposal: "single monad" interface for test cases

[mikekeke]

Now Plutip lets user build test case like this

        assertExecution                                  -- start of test case
          "Some description"                -- description
          (initAda [100])                                -- wallets initialization
          (withContract $ \walletsKeys -> someContract)  -- contract execution
          [ shouldSucceed                                -- asserions
          , yieldSatisfies "Returns single UTxO" ((== 1) . Map.size)
          ]

During mob design session there was discussion about providing alternative (less restricted?) syntax with ability to add wallets, run contracts and run assertions directly, something like:

       contractTestCase  -- start of test case
         "Some description"  -- description
         $ do
            wallet1 <- addWallet [adaAmount1, adaAmount2]  -- initialize wallet
            result1 <- runContract (someContract $ getWalletPkh wallet1)  -- run contract and get result
            
            result1 @?= someExpectedResult  -- HUnit assertion
            assertSomethingOnResult result1  -- user defined assertion of type `Assertion`
            
            wallet2 <- addWallet [adaAmount3]   -- initialize another wallet
            result2 <- runContract (anotherContract $ getWalletPkh wallet2)  -- run contract and get result
           
           assertWalletValueEq (wallet2, someValue)  -- library provided assertion of type `Assertion`
         ]