Solve Wanted quantified constraints from Givens

See #25758 (closed): this MR ensures we directly solve Wanted quantified constraints from matching inert Given quantified constraints, as an optimisation, instead of going through the trouble of emitting an implication constraint and processing that.