Make the bench tool deterministic and rename it to bench_verify