Porting a Python PEG parser to Rust in 72 hours, and actually proving it worked

Ported a PEG parser from Python to Rust in 72 hours with proven correctness: 0 divergences in 20 041 tests, 11× faster cold start, 4× lower p99 latency, 2× less