Could this test the read-side as well... right now it seems to only test that there is not an exception when writing - but there is no test that the correctness is preserved.