Fix compiler warnings (mostly unused variables).
Fatal error if --unconstrained-simp and --produce-models used together (before it would just override the user and turn off models).
Fix compiler warnings in arith and ITE utilities.