The test in basic_verification_game.js where it calls performStepVerification fails because the postState is not merklizing properly.