The short answer is no, the IEEE Std 80 is not fully sufficient to address the GIS design particularly in issues related to induced transient overvoltage in GIS.
The IEEE Std 80 is based on the maximum allowable RMS energy in the power frequency range that a body can withstand to clear a ground fault typically for a fraction of a second up to 3 seconds.
In contrast, the Transient Ground Potential Rise (TGPR) generated by Very Fast Transient (VFT) wave during switching operations of the GIS is a high-frequency event in kHz and short duration pulse in the nanosecond range.
The physiological effects of short-duration impulses are not fully addressed by the IEEE Std 80 and may require further biomedical research for this type of shock scenery.
A practical mitigation approach is to ground the GIS enclosures and ducts per the manufacturer's recommendations including grounding the reinforced rebar in the GIS building and bonded to the main ground grid in multiple points.