Binary Tree Traversal and BST Validation