new: validate binary search tree