Other
- chore(deps): bump solar dependencies to 80dda83 (#17859) by @github-actions[bot]
- fix(script): report failed resume signer re-run (#17879) by @stevencartavia
- fix(script): verify every chain in a multichain script (#17886) by @stevencartavia
- test(anvil): verify Tempo proofs in Solidity (#17889) by @0xKarl98
- fix(anvil): seal Tempo fork state roots (#17884) by @0xKarl98
- chore(deps): bump foundry-core (#17887) by @grandizzy
- fix(anvil): order fee mempool by effective tip (#17882) by @stevencartavia
- feat(symex): add checked EVM XOR specialization (#17888) by @decofe
- fix(symbolic): keep candidate state when a symbolic call fails (#17899) by @stevencartavia
- fix(symbolic): hide invariant writes from afterInvariant (#17900) by @stevencartavia
- fix(symbolic): see setUp accounts in symbolic address queries (#17898) by @stevencartavia
- fix(config): allow Solar's experimental codegen warning (#17903) by @figtracer
- chore(deps): bump foundry-core to e47676d (#17902) by @figtracer
- perf(anvil): seal Tempo fork state roots incrementally (#17896) by @stevencartavia