build(deps): bump third_party/yosys from 72f77dd to 0fc5812 (#2415)

Bumps [third_party/yosys](https://github.com/YosysHQ/yosys) from `72f77dd` to `0fc5812`.
- [Release notes](https://github.com/YosysHQ/yosys/releases)
- [Commits](YosysHQ/yosys@72f77dd...0fc5812)

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

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