Our invariants so far have imposed the same restriction on the left
and right subtrees. That isn't necessary. Consider an invariant on
the numbers of nodes in the left and right subtrees that might help
you solve this problem. Once you figure out the right invariant, the
challenge is to figure out how to maintain that invariant in
addElt and remElt.