Add a miri test to azure ci

[lu-zero]

We have to keep in mind that miri can be out of sync compared to the current nightly.

this snippet should provide the basis for it.