[ty] Track constraint set "support" separately; go back to fully reduced BDDs#22578

dcreager wants to merge 11 commits intomainastral-sh/ruff:mainfrom

dcreager/supportastral-sh/ruff:dcreager/supportCopy head branch name to clipboard