Add more CLI options to benchmarks vs. other pools: