Need smaller test datasets #4
Description
Running all the tests takes several minutes (i.e. 15min or so 😱). This is prohibitively large, in particular for doing CI tests when pushing onto Github.
We absolutely need to reduce the size of the large test datasets (while ensuring that we do not reduce the coverage of those tests, of course).