work on cluster startup; 'seed' the cluster with a degenerate node to set initial state
implement a simple kind of leader lease using heartbeats
cleanup
run the deterministic network in approximate real time
allow proposals with no caller, for internal operations
Adopt new cluster members using a RSM-based view evolution process
Apparently functional membership-change protocol.

With lots of debugging-harness stuff still hooked up.
autopep8, fix up comments