Support the TailBench9000 benchmark in run-jsc-benchmarks