#27 bigtxn with checkpoints passes the bigtxn27 test