Fix to the compatibility library (this does fix the build).
API documentation improvements.
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.