build(deps): bump third_party/yosys from `cee3cb3` to `4251d37` (#2159)

Bumps [third_party/yosys](https://github.com/YosysHQ/yosys) from `cee3cb3` to `4251d37`.
- [Release notes](https://github.com/YosysHQ/yosys/releases)
- [Commits](https://github.com/YosysHQ/yosys/compare/cee3cb31b98e3b67af3165969c8cfc0616c37e19...4251d37f4fc66108ead53af677739563de4ee7f8)

---
updated-dependencies:
- dependency-name: third_party/yosys
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

third_party/yosys

diff --git a/third_party/yosys b/third_party/yosys
index cee3cb3..4251d37 160000
--- a/third_party/yosys
+++ b/third_party/yosys
@@ -1 +1 @@
-Subproject commit cee3cb31b98e3b67af3165969c8cfc0616c37e19
+Subproject commit 4251d37f4fc66108ead53af677739563de4ee7f8