Merge pull request #10066 from leoetlino/abort-on-panic-alert-option Add an option to abort when a panic alert occurs