TreeNode depth is likely sometimes incorrect

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.