An evaluation of the semiclassical Herman–Kluk (HK) propagator for molecule–surface reactive scattering