@cardano strict-checked-vars0.1.0.3

Strict MVars and TVars with invariant checking for IO and IOSim

Strict MVar and TVar interfaces with invariant checking compatible with IO & io-sim.