Do more validity checks for quantified constraints

The title says it.

This patch also removes some code that deals with EqPreds in constraints. EqPreds are unlifted and should never appear in a type that goes through the validity checker. If that panic trips, we have found more bugs.

Fixes #17563