add test of paxos:get