basic paxos tests and working implementation