Expand Paxos testing with ProposerSpec.
Eliminate StoreTestKit; it made things harder rather than easier.

closes #4
Use Cluster.live rather than duplicate that code in the system test.