API documentation improvements.
Fix compiler warnings (mostly unused variables).
Run in application track with --check-models.
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.