Make bench deterministic
Rename bench to bench_verify