Build(deps): Bump third_party/surelog from 9c3c533 to a841274 (#2608)

Bumps [third_party/surelog](https://github.com/chipsalliance/Surelog)
from `9c3c533` to `a841274`.
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/chipsalliance/Surelog/commit/a84127445b0d61ae9e59ff5794a186fca539ddbb"><code>a841274</code></a>
Merge pull request <a
href="https://redirect.github.com/chipsalliance/Surelog/issues/3996">#3996</a>
from alainmarcel/alainmarcel-patch-1</li>
<li><a
href="https://github.com/chipsalliance/Surelog/commit/04163b1c4f7a43527fd6c18faf31c9794d88c0f8"><code>04163b1</code></a>
Fix bogus constant propagation</li>
<li><a
href="https://github.com/chipsalliance/Surelog/commit/4468924588ab65e6e3052ccb42a7d93a48968ae0"><code>4468924</code></a>
Fix bogus constant propagation</li>
<li><a
href="https://github.com/chipsalliance/Surelog/commit/9a2dec94ed924806947ab3f6653ef816d6025a9e"><code>9a2dec9</code></a>
Merge pull request <a
href="https://redirect.github.com/chipsalliance/Surelog/issues/3995">#3995</a>
from alainmarcel/alainmarcel-patch-1</li>
<li><a
href="https://github.com/chipsalliance/Surelog/commit/3213014f84d35dbaa4915220bba72699599c00c6"><code>3213014</code></a>
Promote attr on net to array_nets</li>
<li><a
href="https://github.com/chipsalliance/Surelog/commit/b2c1d0de4bae7333fed0f51f92b2dd2462700a7a"><code>b2c1d0d</code></a>
Merge pull request <a
href="https://redirect.github.com/chipsalliance/Surelog/issues/3994">#3994</a>
from alainmarcel/alainmarcel-patch-1</li>
<li><a
href="https://github.com/chipsalliance/Surelog/commit/70cbe6117f33d5eb27660876f870efbb3d7f7e68"><code>70cbe61</code></a>
Attribute support on nets</li>
<li><a
href="https://github.com/chipsalliance/Surelog/commit/0ab2fb210ba5afadb2908ec55f624446fcc884ce"><code>0ab2fb2</code></a>
Attribute support on nets</li>
<li>See full diff in <a
href="https://github.com/chipsalliance/Surelog/compare/9c3c533bea53e0ba4a9da756d74511bb880b211e...a84127445b0d61ae9e59ff5794a186fca539ddbb">compare
view</a></li>
</ul>
</details>
<br />


Dependabot will resolve any conflicts with this PR as long as you don't
alter it yourself. You can also trigger a rebase manually by commenting
`@dependabot rebase`.

[//]: # (dependabot-automerge-start)
[//]: # (dependabot-automerge-end)

---

<details>
<summary>Dependabot commands and options</summary>
<br />

You can trigger Dependabot actions by commenting on this PR:
- `@dependabot rebase` will rebase this PR
- `@dependabot recreate` will recreate this PR, overwriting any edits
that have been made to it
- `@dependabot merge` will merge this PR after your CI passes on it
- `@dependabot squash and merge` will squash and merge this PR after
your CI passes on it
- `@dependabot cancel merge` will cancel a previously requested merge
and block automerging
- `@dependabot reopen` will reopen this PR if it is closed
- `@dependabot close` will close this PR and stop Dependabot recreating
it. You can achieve the same result by closing it manually
- `@dependabot show <dependency name> ignore conditions` will show all
of the ignore conditions of the specified dependency
- `@dependabot ignore this major version` will close this PR and stop
Dependabot creating any more for this major version (unless you reopen
the PR or upgrade to it yourself)
- `@dependabot ignore this minor version` will close this PR and stop
Dependabot creating any more for this minor version (unless you reopen
the PR or upgrade to it yourself)
- `@dependabot ignore this dependency` will close this PR and stop
Dependabot creating any more for this dependency (unless you reopen the
PR or upgrade to it yourself)


</details>

Author: kamilrakoczy

tests/formal/testlist.json

@@ -476,6 +476,7 @@
                 "simple/carryadd.v",
                 "simple/case_expr_const.v",
                 "simple/case_expr_extend.sv",
+                "simple/case_expr_non_const.v",
                 "simple/case_expr_query.sv",
                 "simple/case_large.v",
                 "simple/const_branch_finish.v",
@@ -1892,8 +1893,7 @@
                 "unary_op_plus/unary_op_plus.sv"
             ],
             "yosys": [
-                "arch/common/blockrom.v",
-                "simple/case_expr_non_const.v"
+                "arch/common/blockrom.v"
             ],
             "sv2v": [
                 "core/inc.sv",