remove the isTriviallyInvalid() solver

This should use `hasCandidate` to check that the correct candidates are being harvested from `%eq`.