MyRocks' repeatable read isolation is actually snapshot isolation (blog.the-pans.com)