Rename this option and the corresponding option in `MemoryInstrumenter`, e.g., `--diagnose`. The idea is use one option to turn on/off all the extra instrumentation we need for diagnosis including test case reduction and trace slicing.