Rewriter v0.0.11

Compatible with Coq 8.17, 8.18, 8.19.

What's Changed

• Add profiling for cbn by @JasonGross in #141
• Add more debug profiling (replace_type_try_transport) by @JasonGross in #143
• More error messages when .coq-version creation fails by @JasonGross in #144
• Move unfolding of fst and snd earlier by @JasonGross in #142
• adapt to coq/coq#18563 by @andres-erbsen in #148
• Adapt to coq/coq#18624 (Tac2ffi / Tac2val split) by @SkySkimmer in #149

New Contributors

• @divergentdave made their first contribution in #147

Full Changelog: v0.0.10...v0.0.11