Added assertions to all functions in the CharDiet module to enforce the AVL invariant -- it appears the bug in our implementation is due to the tree becoming unbalanced somewhere.