高度平衡二叉树的验证