Interpret a MockChain into the Plutus Contract monad.

[VictorCMiraldo]

If would be great if we could implement or interpret MonadMockChain into the Contract monad, this way we could really sell our library as a superior option for defining the lowest level of off-chain code: the part that generates transaction constraints.

[VictorCMiraldo]

The relevant functions we might need are at: https://github.com/input-output-hk/plutus-apps/blob/main/plutus-contract/src/Plutus/Contract/Request.hs

[VictorCMiraldo]

#45 closes this

[VictorCMiraldo]

For documentation's sake:

As of merging #45, time management closely follows that of plutus-contract. The reason being that we want to provide an instance of MonadMockChain (Contract w s e) and its impossible to retrieve the SlotConfig from within the contract monad.

Ok... its not impossible... we can observe the slot config by waitNSlots 1, then recording the current time t0, then repeating this and getting t1. Now we could do some linear extrapolation and find out SlotConfig. I'm not sure its worthwhile to do all of this.