moved some benchmarks to benchs/run_benchs.ml, under the centralized bench tree