all Paxos actors implemented; tested single client/replica/leader/acceptor case