2777: check nonlinear systems

fixes #2777

checking/simplification was not being done on non-linear systems of equations. Correcting this lead to some modified tests as a result of simplification.

In addition, the wrong keyword was listed in the docstring of solve: warning instead of warn. Although the code could have been changed, the keyword was changed in favor of the verb.