More work on paxos. Paxos now works when a node goes and and comes back up. must still implement if leader goes down.