Report important performance statistics all at once with `--list-stored-testcases`

[vkarak]

Currently, only a single aggregation is supported, meaning that to obtain the three currently available stats (min, max, mean), users have to run the --list-stored-testcases three times. This is inefficient for large databases. We should instead provide a way to report all these and other basic statistics (percentiles) all at once.