Remove capped `next_value_opt(3)` pass from optimization pipeline.

The `next_value_opt` pass is now run without a cap on its optimization level, as the default level is sufficient. The compound pass definition for `next_value_opt(3)` is also removed.

This has no affect on optimization decisions as nothing changes when opt level is higher than 3 (which is considered max level). It is mostly just a cleanup.

PiperOrigin-RevId: 817373790

Changes to avoid extra memory reads with operator [] = form

PiperOrigin-RevId: 816927874

Merge pull request #2652 from antmicro:80072-code-location

PiperOrigin-RevId: 816381164

[Proc-scoped channels] Fix the toggling of converting test procs by s…

Automated Code Change

PiperOrigin-RevId: 815109595

Model OHS 2-layer nand reduce for logical-effort delay.

This is not actually used in any delay model but this is a better model for how much logical effort is actually needed to implement a OHS.

PiperOrigin-RevId: 814811564

Merge pull request #3133 from xlsynth:cdleary/2025-09-29-package-name…

[xls][mlir] Move conversions between int/floats and `xls::Value`s to …

Integrate LLVM at llvm/llvm-project@d28c07b7550a

Updates LLVM usage to match
[d28c07b7550a](https://github.com/llvm/llvm-project/commit/d28c07b7550a)

PiperOrigin-RevId: 813490970

Make bdd_query_engine calculate AtMostOneTrue out to 300 bits

We previously wouldn't even try for more than 64 bits. By allowing more depth we get better results.

This also rewrites the checker slightly to avoid creating as large of a BDD improving performance.

PiperOrigin-RevId: 812934517