major fixes to dpaxos for correctness