Without change in leader, paxos impl now seems to work with both phase1 and phase2, though with some shortcomings