#4628 gets some, but #8938 improves other more generic failures too. We should also test those.

The characterization testing infra in #8923 should be pioneered for this. It makes the tests easier to maintain, and it also makes them easier to reuse for other implementations, which is something we should encourage.