The semantic model often creates ReducedExtensionMethods for the public API,
but the creation of ReducedExtensionMethod does constraint checking, which
requires a compilation, which isn't always available. This change removes constraint
checking from all creation of ReducedExtensionMethod and adds asserts that we
always have a compilation during constraint checking.

Fixes #37021