Simplified the code for the IVP examples for various combinations of
solving parameters.  Enabled exact/uncertain initial value setting for
all examples.  Enabled use of flow or naive solver for all examples. 
Obtaining a good enclosure for the non-smooth example with smaller
steps.