Checkpointing Paxos recovery