Re-work Paxos logic and add unit tests
Add StableStorage unit tests