fixed bug where paxos wouldn't execute. updated paxos to use RPC_Msg