added a test for transaction semantics of continued application of a partially applied paxos value