The most trusted code on Earth is being rewritten in Rust