checkBalances
return checkBalances(avl->root, &dummy)
static bool checkBalances(AvlNode *node, int *height);
if (!checkBalances(node->lr[0], &h0))
if (!checkBalances(node->lr[1], &h1))