Add analysis using Miri to CI

[piperswe]

• Miri is "an experimental interpreter for Rust's mid-level intermediate representation (MIR)" which can "run binaries and test suites of cargo projects and detect certain classes of undefined behavior."