> I can assure you that the core utils have all already went through static analysers doing more checks than the Rust compiler.

I'd be very interested in reading more about this. Could you please explain what are these checks and how they are qualitatively and quantitatively better than the default rustc checks?

Please note that this is about checks on the codebase itself - not system/integration tests which are of course already applicable against alternative implementations.