remove the isTriviallyInvalid() solver
Merge pull request #105 from regehr/remove-istriviallyinvalid

remove the isTriviallyInvalid() solver