Expand Paxos testing with ProposerSpec.