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.
You only want to enter this branch if txn.MaxTimestamp > txn.Timestamp. Once timestamp is >= txn.MaxTimestamp, there's no longer any uncertainty. This will simplify the code by eliminating lines 167-174.