Verify a whole bunch of DCPs made by unit tests.