validate binary Search Tree