Release v1.0.0

✨ New Features

• 7407caf - denot: add totalRedundantPaths stats in Denot (commit by @vtramo)

♻️ Refactors

• de08664 - automata: replace 'AutomatonOptimizationFlags' with 'TranslationOptimizationFlags' (commit by @vtramo)

✅ Tests

• 1e3f67a - add is compact and is non-recurrent test cases (commit by @vtramo)

🔧 Chores

• a8002d0 - update experiment scripts (commit by @vtramo)
• f154199 - add must experiment (commit by @vtramo)
• 5f8d848 - add incremental tanks and alternations experiment (commit by @vtramo)
• e0acc5d - add incremental gap experiment gbb files (commit by @vtramo)