paxos rewrite. Cleaner separate of prepare and accept phases