Wip mon paxos fixes

Creating this for Joao to track comments on.