Firtool Release 1.71.0

What's Changed

• [NFC] Move 'using namespace' out of headers. by @fzi-hielscher in #6844
• [FSM][Emit] Convert the FSMToSV pass to use emit ops by @nandor in #6828
• [Emit][Seq] Emit random init headers using fragments by @nandor in #6826
• [HW][IST] Verify simple inner-ref-user ops sequentially, perf fix. by @dtzSiFive in #6850
• Fix a few FileCheck directive typos. by @dtzSiFive in #6853
• [FIRRTL][NFC] Move xmr.ref and xmr.deref into expressions. by @dtzSiFive in #6852
• [circt-lec] Add ConstructLEC pass by @maerhart in #6833
• StripDebugInfoWithPred: Fix parallelization perf issue. by @dtzSiFive in #6851
• [ImportVerilog] Add if and loop statements by @fabianschuiki in #6831
• [FIRRTL] Remove support for circt.Intrinsic annotation. by @dtzSiFive in #6857
• [FIRRTL] Make "intrinsic" name of intmodule mandatory. by @dtzSiFive in #6858
• [Docs] Extend formal verification documentation by @maerhart in #6854
• [Seq] Erase memories with no read ports by @nandor in #6861
• [ImportVerilog] Add assign and pre/post increment/decrement expressions by @fabianschuiki in #6859
• [SMT] Add quantifier operations by @maerhart in #6842
• [SMT] Add function application operation, function and uninterpreted sort types by @maerhart in #6847
• [SV][Verif] Extract verif ops in SVExtractTestCode by @seldridge in #6865

Full Changelog: firtool-1.70.0...firtool-1.71.0