HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings