SOM reachability analysis should report progress and be cancellable

[lwrage]

Please describe the problem your proposed feature would address
The SOM reachability analysis may take a long time for large models. Therefore it should report progress, and it should be possible to cancel the analysis.