Working O1StableLeaderElector.
Started work on Paxos implementation (new Paxos module).