AVL C-implementation and Python extension by Sam Rushing et al.