v1.2

New Features

• Add mir_str_slice_value and mir_str_slice_range_value functions, which
  allow taking &str slices. For more information, see the documentation in the
  SAW manual.

• Add mir_mux_values command for muxing two MIR values.

• Add support for GHC 9.8.

Bug fixes

• Fix bug that caused MIR to incorrectly reject overrides with multiple const slice arguments

• Error messages have been improved such that the locations printed with type errors and other diagnostics now have a much stronger connection with reality.