Check whether a binary tree is a binary search tree