Add parameter to force full state space exploration
At the moment, mcsta explores the state space just enough to prove the given properties.
For visualization purposes, the user might want to graphically export the full state space.
To circumvent the above constraint, the user must manually add a property which forces the whole state space to be explored. However, given that we add more and more optimizations coming up with such an property will become harder as time goes by. A better solution would be a parameter the user could just add to his visualization query which forces a full state space exploration.