Adapt a crate into a big real-world test case

[GoldsteinE]

1. Find some async crate that works under Miri
2. Annotate all non-generic free functions with #[name_it] (maybe utilizing the “non-generic inner function” pattern)
3. Run tests under Miri
4. Create issues for any failures