Use semi_implicit_step_size in cascading example

Take advantage of the new semi_implicit_step_size parameter. this is supposed to help WRT homotopy theory, but in the context of this example does not really change very much.