Get ` PRIMA_PROBLEM_SOLVER_MISMATCH_XXX` back

[zaikunzhang]

See:

https://github.com/libprima/prima/pull/124#discussion_r1527840414

Quote:

Note that the C interface is not only prepared for the Python binding. It will also be used by other languages. Thus it should do basic checking and preprocessing.

If some developers build the binding of PRIMA in other languages based on the C interface, the constraint checking will prevent them from committing serious mistakes, espeically during the early stage of the development. Let us keep it.