AVL Tree Insertion and Heap Depth Analysis