Added rounds parameter, more minor fixes to Paxos.