Miden assembly code generator

This crate contains a code generator targeting the Miden VM.

The purpose of this code generator is to convert a provided AirIR representation of an AIR into a custom Miden assembly module that contains constraint evaluation logic for this AIR. The generated code can be used with the recursive STARK proof verifier in Miden standard library.