Replace calls to `testing` with individual tests

[Schaechtle]

We should replace calls to testing with individual tests defined with deftest (e.g. here). Calls to testing make pinpointing test failures harder.