BalancedTree: size[] sanity checking