StackStrip: Regularity-Certifying Pre-Compiler for Grammar-Based Rules

A build-time tool that checks whether stack-based matching rules (protocol grammars, signatures, dissector specs) actually need a stack; for the ones that don't, it emits a faster stack-free matcher with a mathematical certificate, and routes the rest to the slower parser path.