Add a workflow to check whether the code generated for the test models in `models/` is up-to-date. Ignore differences in `get_amici_commit()`.