Initial paxos passes very basic test