Added support for a new mapping validation function (
Updated the interfaces of mapping-related functions.
Generally improved organization and documentation.
Moved benchmarking scripts to VOQC-benchmarks.
Updated to the most recent version of SQIR & extracted using Coq v8.13.2.
The only change in SQIR that impacts the behavior of mlvoqc is that Optimize1qGates now merges as many gates as possible instead of just two at a time.
Various updates to documentation and scripts.
Switched to using dune-release for publishing.