Turns out there's been some work, and the rust part has actually been the main issue: https://github.com/rust-lang/miri/issues/722