Is there a better way for something like an optimizing (jit) compiler? My barely informed understanding is that many of these bugs aren't soundness issues in the compilation process but instead the resulting executable code. I don't see how rust meaningfully helps with this problem.

Formal verification is often thrown around but my understanding is it can't scale to the complexity of something like an optimizing compiler.