fix: don't always select trait impl when verifying trait constraints#7041

jfecher merged 11 commits intomasternoir-lang/noir:masterfrom

ab/trait-where-clause-bugnoir-lang/noir:ab/trait-where-clause-bugCopy head branch name to clipboard