method to verify wellOrdered-ness of a BST.