Checks that the subtree rooted at t is a valid BST and all keys are between (lokey, hikey).
(self, lokey, hikey)
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected