Validate a BST.