Add DerivativeCheckResult.assert_success or something similar, that does nothing in case of a successful check, and raises an AssertionError with an informative summary upon failure. Can be moved here from amici. See also AMICI-dev/AMICI#2524.