Added contract that checks that the AVL tree is always balanced
Merge branch 'master' of https://github.com/lundmikkel/C5