paxosTests