Update make check so that it runs faster

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.