all basic tests for multipaxos pass, need to add unreliable ones...