Fixed bug in Simulate() when solved with KWApprox
Added onlyDryRun() option to analyze large state spaces