Added Miri to CI

[cospectrum]

I've separated all the tests and benchmarks where it makes sense. benches are ignored.

UB detected in nalgebra (Svd::try_new) and rayon (if feature is enabled), they are ignored.

[theotherphil]

@cospectrum as there’s been a burst of activity in this repo recently and your change touches a lot of files, let’s merge this after fixing the current merge conflict rather.

[cospectrum]

@theotherphil Conflict fixed, benches moved.

[cospectrum]

Note: we want to ignore benches because they are slow, not because they don't pass the Miri check.

[theotherphil]

@cospectrum is this good to go or do you have more changes pending for this PR?

[cospectrum]

@cospectrum is this good to go or do you have more changes pending for this PR?

You can merge

[theotherphil]

Thanks a lot for all the work you’re doing getting a proper testing suite in place.