Sanitized use of MVCC keys throughout the storage layer

Also documented MVCC design decisions.
LevelDB (or even RocksDB?)