二叉搜索树的验证