Avoid panics on contradictions involving restriction skolems

[nfrisby]

Contradictions also need the deactivation pass of simplifyWanteds that replaces restriction skolems with restrictions of genuine skolems. This will prevent GHC from panicking when rendering the contradiction as an error message.

It'll take some doing though, so I'm deferring it for now.