verifyHeight also checks if the trees are balanced too.