Following along with the chain of thought in this forum post: SIL Verifier now enabled in non-asserts builds behind -sil-verify-all, in the following PR: [ast] Enable the ASTVerifier behind the enable-ast-verifier flag in no-asserts builds. by gottesmm · Pull Request #35587 · apple/swift · GitHub, I changed the ASTVerifier to be compiled into the compiler in no-asserts builds but only enabled it behind a flag. This should help triaging with no-asserts compilers. I am going to see if I can find some time to implement the re-run functionality that I mentioned previously (and also perhaps a driver flag for extra compile time verification that always passes in these frontend flags).
@typesanitizer @tbkka @Erik_Eckstein @Andrew_Trick @dan-zheng
Stay tuned!