Expand model_diagnostics to test whether the model is truly linear
Often users specify model(linear), but don't enter all FOCs correctly. Testing in model_diagnostics whether all equations are linear and displaying the wrong equations would provide a valuable diagnostic tool. Alternatively, the preprocessor could check whether the Hessian g2 is a zero matrix if the linear option is specified.