sophia: add smv; use slab allocator for mvcc containers