Rollup merge of #156492 - RalfJung:cfg-miri, r=SimonSapin

remove/update various cfg(miri)

I went over all `cfg(miri)` in `library/`. Most of the things I noticed have become separate PRs; these here are the few remaining scattered little fixes in various places.