Make csvbenchmark check that the data file size is correct and regenerate if it
isn't.