Miri CI invocation needs updating

[Ralf Jung]

cargo miri test changed to be more compatible with cargo test, so the old style (used by this repo) of running cargo miri test -- -Zmiri-ignore-leaks is deprecated. The new way is MIRIFLAGS="-Zmiri-ignore-leaks" cargo miri test.

I'm not familiar with Azure CI or else I'd have prepared a PR. I hope this is not too much of an effort. :)

[Ralf Jung]

I also found another project of yours which needs a similar update.

And another.

[Jon Gjengset]

Ah, good catch! Should be easy enough to fix. Just need to replace

     - script: cargo miri test -- -Zmiri-ignore-leaks
       displayName: cargo miri test

with

     - script: cargo miri test
       displayName: cargo miri test
       env:
         MIRIFLAGS: -Zmiri-ignore-leaks

I'm pretty swamped these days with thesis writing, but will keep the issue open so I (hopefully) remember when my schedule settles down a little 😅

[Jon Gjengset]

Closed by #94. Thanks @RalfJung!