Added AVL tree implementation to moorings, based tree-set on top of it
Adding oracle-style tests for sets
Improved set tests