finish paxos skeleton, pass single proposer test
add paxos max response