Crux v0.10

Crux updates

• Add support for the Bitwuzla SMT solver.
• Add --debug option for starting the Crucible debugger.

MIR updates

• Explicitly check that the mir-json schema version is supported when parsing a MIR JSON file. If the version is not supported, it will be rejected. This helps ensure that unsupported mir-json files do not cause unintended results.

This release supports version 1 of mir-json's schema.

LLVM updates

• Emit a warning when parsing an LLVM bitcode metadata record that crux-llvm does not support. (Previously, crux-llvm would throw a fatal error if this occurred, so this change makes crux-llvm more permissive with respect to unsupported LLVM versions.)