I'd assume Mojo does more complex transformations at the MLIR level than Rust does at its MIR level.

First, I'm not sure. Rust has MIR optimizations and also other transformations.

But even if yes, MLIR is part of the LLVM project, so it's technically still "just an LLVM wrapper".