Make CheckCIS test IDA as well as CVODE; fix a few problems with code generation that stopped IDA
working on all models and giving the same results.