We should add `cargo careful` and `cargo miri` to our usual code checks. To install careful, I needed to do: `cargo install cargo-careful` and then could run `cargo careful test` To install miri, I needed to do: `rustup component add miri` and then could run `cargo miri test`