firtool-1.89.0

@fabianschuiki

What's Changed

[Verif] Simplify the FormalOp by @fabianschuiki in #7691
[Sim][NFC] Include InferTypeOpInterface in SimOps.td by @fabianschuiki in #7693
[MooreToCore] Support assert, assume, cover ops by @mingzheTerapines in #7681
[MooreToCore] Add support for format strings and display task by @fabianschuiki in #7694
[ExtractInstances] Add the extract instances metadata to OM Classes by @prithayan in #7667
[FIRRTL] collection of changes to InferWidths by @youngar in #7686
[FIRRTL] InferWidths: fix invalid frame reference by @youngar in #7697
[ArcToLLVM] Add support for index dialect by @fabianschuiki in #7699
[Arc] Add arc.final op by @fabianschuiki in #7700
[Arc] Make arc.model have an SSACFG region by @fabianschuiki in #7701
Remove redundant CMakeLists.txt entry by @leonardt in #7696
[FIRRTL][ProbesToSignals] RWProbe support by @dtzSiFive in #7706
[Arc] Add dominance-aware pass to sink ops and merge scf.if ops by @fabianschuiki in #7702

Full Changelog: firtool-1.88.0...firtool-1.89.0