Fix testsuite failures after the PartialTypeSignatures merge

Summary:
Properly detect insoluble wanteds

This used to be correct, but was recently incorrectly refactored.

Reviewers: austin, hvr

Reviewed By: austin, hvr

Subscribers: thomie, carter

Differential Revision: https://phabricator.haskell.org/D531