Exclude seeds that trigger a bug without causing a crash

[adrianherrera]

As ideal sanitization is disabled by default, some seeds that immediately trigger a bug (e.g., the PHP Exif regression tests) are not pruned at https://github.com/HexHive/magma/blob/v1.1/magma/run.sh#L27

The run script should check if ideal sanitization is disabled, and if so, check the monitor for triggered crashes during pruning, and prune those seeds.

[hazimeh]

Following up on our previous discussion, I wonder if this was actually the case or if I had already accounted for it in the pruning stage. Rationale: the magma/runonce.sh script, on line 31, launches the monitor and observes for triggered bugs, regardless whether or not ISan is enabled. So, seeds are pruned of bugs even in the absence of ISan. Not sure if I'm missing something.