Yield from the main thread a few times at shutdown#2660

saethlin wants to merge 5 commits intorust-lang:masterrust-lang/miri:masterfrom

saethlin:yield-before-terminationsaethlin/miri:yield-before-terminationCopy head branch name to clipboard