`make tips` says that `TEST_BENCH=1` will run benchmarks but it is not true. Are we ever running benchmarks?