Improve the way optional user functions are activated in CVODE

[ahmades]

Currently the client should explicitly control this irrespective of the selected strategy.
Possible solution: use type traits to check the existence of these functions, depending on the strategy.