added tests for final_value of instance
specify argument types of ballot numbers
added tests for logs
found problem to test paxos