runIOSimProp: refactored

[coot]

Refactored runIOSimProp in style of monadicST from QuickCheck.

[coot]

Once we publish input-output-hk/io-sim#140 this can be offloaded to IOSim's monadicIOSim, but it will require to redefine the RunMonad as:

newtype RunState s   = RunState (TVar (IOSim s) (Nodes (IOSim s)))
newtype RunMonad s a = RunMonad (ReaderT (RunState s) (IOSim s) a)

Although this might not be desirable, if RunMonad as currently used for IO and IOSim. In such case one can provide a newtype M s a = M { runM :: RunMonad (IOSim s) a } wrapper which can be used just for simulation tests.

[coot]

The formatting check fails with:

error: writing to file: No space left on device
error: executing SQLite statement 'insert or replace into NARs(cache, hashPart, timestamp, present) values (1, 'cgc2nw5nw0js1aphc8plcg8zj90c1gqd', 1707736522, 0)': database or disk is full, database or disk is full (in '/root/.cache/nix/binary-cache-v6.sqlite')

[locallycompact]

Thanks!