v0.9.0

• [BREAKING] Merged TraceLayout into TraceInfo (#245).
• Implemented Lagrange Kernel constraints (#247, )
• [BREAKING] refactored TraceOodFrame struct (#266, #274).
• [BREAKING] explicitly limited the number of auxiliary trace segments to 1 (#267).
• Implemented additional field conversions for the f64 field (#268).
• [BREAKING] Added support for auxiliary proofs (#271).
• Introduced async prover (enabled via async feature) (#280).
• [BREAKING] removed group_vector_elements() utility function (#282).
• [BREAKING] removed FieldElement::zeroed_vector() function (#282).
• [BREAKING] removed previously deprecated re-exports of core modules.
• Updated minimum supported Rust version to 1.78.