Unify and expose convergence/exit criteria

[wxmerkt]

Expose the solver-internal exit criteria codes and wrap them in a common enum/way so that we can identify/compare, e.g. reached tolerances, maximum iterations, etc.