Completed (for insertion) AVL, passes the totality checker
Merge pull request #282 from michaelbeaumont/master

Completed (insertion at least) AVL implementation, passes the totality checker