Here's a thought: would there be value in a "bootstrap-friendly" Rust interpreter in something more broadly supported (like C) that omits all the correctness analysis, and just assumes the code its given is correct?
I'm not sure how much implementation effort that would save, but if it's significant enough, it might be worth it to get people to stop complaining about this. 