SI-7694 Disable type constraint checking for synthetic TypeTrees

Which might be based on slack LUBs that fail to capture constraints
between type parameters.