Hello, I'm trying to avoid having to design my own IR for a hobby language that needs safety guarantees similar to those of Java. Have there been any plans or attempts to write a safety verifier for llvm object code or define a set of easily verifiable instructions that can be translated to llvm quickly?