Validate binary search tree