Implement checkers for solver parameter choices

[Holger Kohr]

Besides providing default choices, we should also offer the possibility for users to check their parameter choices for solvers. The code would look quite similar to the default stepsize helpers. We could make it extra useful by offering 2 modes, one that just returns pass/fail and one that returns the value of the condition to be checked, perhaps normalized to 1.