test if binary tree is min-first BST