Checks if a binary tree is balanced
Find the 'next' node (in-order successor) of a given node in a binary search tree