Right now miri is a rustc driver, but we may be able to make miri a codegen backend like llvm and cranelift. Not sure what benefits this brings, but it seems to me like miri behaves more like a backend than anything else. The miri binary would then become just a thin wrapper invoking rustc with a bunch of flags.