TreeNode depth is likely sometimes incorrect #3171

TreeNode.depth assumes that TreeNodes are not modified after the first time depth is accessed but it likely code violates this assumption.
We should probably instead switch to a scheme where TreeNode depth values are invalidated when the tree structure bellow them changes although this needs to be done with care to avoid excessive computations of depth.