[ty] Remove obsolete `satisfied_by_all_typevars` constraint helper (#27696)
This method was never hooked up to the production constraint set solver.
It was anticipated as a replacement for `is_always_satisfied` that would
take into account the declared upper bounds and constraints of any
typevars in the constraint set (its "validity domain").
https://github.com/astral-sh/ruff/pull/27652 works on a better way to
handle the validity domain, which doesn't require this method. And it's
getting in the way of other constraint set changes we're trying to make.