Finalizing the basic classic paxos impl