Move tracking of user-managed checkpoints into replayer.cc.