Directly solve Wanted quantified constraints from Givens when possible

When we are about to solve a Wanted quantified constraint, we should first check whether we have an exactly matching Given quantified constraint, and if so use it to immediately solve the Wanted, instead of going round the houses emitting an implication constraint.

This came up during discussion with @simonpj on !12319 (closed).

I will implement.