Fixup: Remove nonnull arg from avl_height()
Fixup: Remove nonnull from avl_node_cnt()