Text this: HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems