What kind of update properties are needed to retain the balanced tree behavior, where few index updates are needed for append-to-end behavior?

For one thing, there's a deep subtree that is copied up as the same reference repeatedly. If my code is functioning correctly, it hopefully does this.

One thing my code does diffe