Validate that assertion labels are valid SV identifiers at codegen.

Fixes google/xls#1518.

PiperOrigin-RevId: 657414228

Automated Code Change

PiperOrigin-RevId: 656941711

Automated Code Change

PiperOrigin-RevId: 656826834

Also make delay_model_test as `nomsan`.

It also depends on scipy, which seems to not be msan-compatible.

PiperOrigin-RevId: 656559951

Add utilities for extracting delay model input from an actual design.

PiperOrigin-RevId: 656040834

Use static regexes for parsing yosys outputs

Since the regexes are known at compilation time and are constants
during runtime, we opt to store the regex objects as `constexpr static`
objects.

Since RE2 is not safe for static use, we opt to use LazyRE2, which is
safe for static use. As a side note, LazyRE2 objects will be lazily
constructed during runtime.

PiperOrigin-RevId: 655346007

Fix up the Z3 IR translator's handling of extra-wide array indices

It turns out we were truncating the index before we checked whether it was past-the-end of the array!

Uses this to add an equivalence-check to a TableSwitchPass test (which previously failed equivalence checking).

PiperOrigin-RevId: 654946511

Fix umul-zero and bit-width issues in arith_simp

We incorrectly simplified code like X*0 == CONST causing mis-compiles.

PiperOrigin-RevId: 654178127

Remove warning about proc inlining now that we have multi-proc codegen.

PiperOrigin-RevId: 653771738

Arithmetic simplification with multiplicative inverse

PiperOrigin-RevId: 653427826