Change test runner name for Paxos