Ensure proposed entries are periodically released from the early buffer and appended to the log. Maybe add seq_paxos.tick(), which is called from omnipaxos.tick(). seq_paxos.tick() in turn calls ...