remove the isTriviallyInvalid() solver

This test can be removed altogether now that the code that it is testing is gone.