countNode
&& countNode(avl->root) == avl->count;
static size_t countNode(AvlNode *node);
return 1 + countNode(node->lr[0]) + countNode(node->lr[1]);