A Benchmark Suite for Hybrid Systems Reachability Analysis