Sanitized use of MVCC keys throughout the storage layer

Also documented MVCC design decisions.
Neat trick. This is subtle; it's good to have it documented.