We should write a test verifying that a transaction can consist of multiple read commands at readConcern level snapshot, not just a single read command, or a find/aggregate and its subsequent getMores. All reads in the transaction should see the same snapshot, and should be isolated from concurrent writes.