Fixed the computation of the AVL invariant so it checks against the balanceTolerance constant.
Fixed a couple of comparisons within AvlTree.Balance so they're correct.
Fixed the computation of the DIET invariant so it also checks the subtree heights against the balanceTolerance constant.