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.
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.

emavchun/facio,YaccConstructor/facio,emavchun/facio,YaccConstructor/facio,jack-pappas/facio