Cleanup: Fix up test_readwrite_in_readonly to notice the test failure that was expected
Introduce a monitor on the clock object to enable us to move out of non deterministic states
Issue #87: Update tests