paxos pass TestBasic