请实现一个函数来验证一棵二叉树是否为二叉搜索树（BST），并说明你会如何处理边界情况。

回答思路

1. 能准确说明BST的全局约束条件（左子树所有节点小于根，右子树所有节点大于根）
2. 能使用中序遍历验证序列递增或使用带上下界的递归/迭代实现
3. 能处理重复值、空树、单节点以及节点值等于边界值的边界情况
4. 能分析算法的时间与空间复杂度
5. 能辨别仅检查局部左右孩子关系的常见错误