Changes according to SRDS paper.

* Update and read-only transactions read as one.
* Update transactions avoid validating their own visible reads.
* Use of begin vector clock.
* Removal of boosting vectors.