updated binary tree verification

partially complete, search function only returns first hit. However,
this shouldn't affect verification since if a duplicate node is hidden
deeper then it won't return a pointer to it and the verification
function will return false