Add miri test #773

Job	Run time
cargo test on ubuntu, rust 1.78	34s
cargo test on windows, rust stable	1m 25s
test mdBook	50s
cargo test on macos, rust stable	40s
cargo test on macos, rust 1.78	39s
cargo test on ubuntu, rust stable	31s
cargo test on windows, rust 1.78	57s
	5m 36s

Provide feedback