Cleanups and unit test additions. Paxos code coverage is at 100%