ci: setup miri test #575

Job	Run time
Build & test (stable, ubuntu-latest)	2m 32s
Build & test (stable, macos-latest)	2m 20s
Build & test (stable, windows-latest)	9m 5s
Build & test (nightly, ubuntu-latest)	2m 9s
Build & test (nightly, macos-latest)	2m 11s
Build & test (nightly, windows-latest)	9m 51s
Test coverage checks	4m 25s
Machete dependencies checks	7s
Test with external dependencies	5m 9s
Clippy lint checks	47s
Minimal dependency versions build	1m 36s
Code formatting checks	18s
Miri test	9m 11s
	49m 41s

Provide feedback