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