Concolic benchmarks: Add feature switch for interleaving injection and event triggering.