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