a40659ded3
disable strict-provenance-violating doctests in Miri Most of these are on deprecated unstable functions anyway. This lets us run the remaining doctests with `-Zmiri-strict-provenance`, which I think is a win. r? `@thomcc`