changed integration-tests to paxos-tests
work in progress on rejected proposal states