`ZkBaseDataAccessor.set` should either success or throw exception, but not both

Continuation on #2685

When setting a record in ZK, we need deterministic behavior, were the call should either success or fail (throw exception). Currently the call might change the record but also throw exception. Do you see a workaround to get deterministic result?

Start with the continuation in #2685 and inspect the ZkBaseDataAccessor.set path involved in setting a record in ZK. Determine how the call can both change the record and throw, then define and verify behavior where each call either succeeds or reports failure without an ambiguous result.

Written by the indexing model from the issue text.