Clean up check_model.m

Most checks there strike me as wrong or outdated.

1. I think the preprocessor does substitutions for leads and lags of exogenous
2. lead_lag_incidence cannot be used to check the presence of a variable at a particular time period. We would need the Jacobian for that as we do in model_diagnostics.