fixed checkpointing (changing hardcoded value in CheckpointManager.checkpoint()) and the expected results in the sanity check at the end of BuildCheckpoints