check whether a binary tree is balanced with O(h) additional storage onl...

...y