Some minor cleaning up [ci skip].
Some work on making it an option to use CVodeSetStopTime() (#371).