Running make check currently takes 12.5 minutes to run with sync disabled. Ideally it would be good for it to take less than two minutes.

OTOH: make check is the main way we currently run the C test code. Maybe we could consider adding a new mode that runs extended versions of those tests.