ZKsync solc mlir-0.8.26-tag

Language Features:

• Introduce a new overload require(bool, Error) that allows usage of require functions with custom errors. This feature is available in the via-ir pipeline only.

Compiler Features:

• SMTChecker: Create balance check verification target for CHC engine.
• Yul IR Code Generation: Cheaper code for reverting with errors of a small static encoding size.
• Yul Optimizer: New, faster default optimizer step sequence.

Bugfixes:

• Commandline Interface: Fix ICE when the optimizer is disabled and an empty/blank string is used for --yul-optimizations sequence.
• SMTChecker: Fix false positive when comparing hashes of same array or string literals.
• SMTChecker: Fix internal error on mapping access caused by too strong requirements on sort compatibility of the index and mapping domain.
• SMTChecker: Fix internal error when using an empty tuple in a conditional operator.
• SMTChecker: Fix internal error when using bitwise operators with an array element as argument.
• Standard JSON Interface: Fix ICE when the optimizer is disabled and an empty/blank string is used for optimizerSteps sequence.
• StaticAnalyzer: Only raise a compile time error for division and modulo by zero when it's between literals.
• TypeChecker: Fix compiler crash when the left-hand side of an assignment was a parenthesized non-tuple expression of a tuple type.
• Yul Optimizer: Fix optimizer executing each repeating part of the step sequence at least twice, even if the code size already became stable after the first iteration.
• Yul Optimizer: Fix the order of assignments generated by SSATransform being dependent on AST IDs, sometimes resulting in different (but equivalent) bytecode when unrelated files were added to the compilation pipeline.

Build System:

• Replace internal JSON library jsoncpp with nlohmann::json.