Miri fails to test with tokio compilation error

@RalfJung 

```console
$ ./x.py test tools/miri
```

This is the absolute unit of an error: https://pastebin.com/EakKbQw5. It's so long it doesn't even fit in github.