Deal with clock uncertainty for transactional readers

Taking care of what Spencer describes in the last slide of
https://www.youtube.com/watch?v=MEAuFgsmND0&feature=youtu.be
and the corresponding entry in the TODO (which describes slightly different semantics),
namely the case in which a reader stumbles upon a write which has a timestamp in the near future.
Add another else if statement here to verify that isValue is true. If it's not (which should be impossible), panic. I just mention this because I notice we collect isValue, but don't do anything with it.