Updated Tx documentation to reflect new MVCC model