Implemented paxos initialization and the case for receiving ACCEPTOR_PROMISE