2 steps back... fixed a bug in basic paxos - gos random num generator is deterministic by default.