Support for has_cycle() on sparse models

[volkm]

Checking whether a model is acyclic should be quite helpful.

Note that the current implementation first needs to find and exclude all states with self-loops, because the underlying Storm function is considering self-loops as cycles.

Thanks to @jipspel for some help.