We're planning to test that MongoDB transactions obey snapshot isolation by verifying the commit order is consistent across all documents modified in the transaction. Checking whether the commit order is consistent reduces to whether there's a cycle in the commit order, such that a contradiction of transaction A committing both before and after a transaction B exists.