Add missing reachsafety hardness nfm22 set

This MR adds the ReachSafety-Hardness subcategory to the ReachSafety category for all participating verifiers.

SV-Benchmark Issue. SV-Benchmark MR.