fixing old paxos and finishing kvpaxos