Other
- chore(cheatcodes): allow Solidity markup in spec docs (#17863) by @stevencartavia
- ci: bump z3 to 5.3.2 (#17868) by @DaniPopes
- fix(anvil): pay fork replay fees to source coinbase (#17864) by @stevencartavia
- fix(cheatcodes)!: drop recorded logs from reverted frames (#17866) by @stevencartavia
- fix(script): refuse rebroadcast over an unfinished run (#17851) by @stevencartavia
- fix(script): follow chain hardfork for gas limits (#17861) by @stevencartavia
- fix(symbolic): model isolated calls as transactions (#17865) by @stevencartavia
- fix(symbolic): don't confirm replays rejected by vm.assume (#17860) by @stevencartavia
- ci: disable Blockscout deploy-verify tests (#17878) by @mablr
- fix(anvil): allow rollback to the fork root (#17835) by @0xKarl98
- feat(anvil): forward Tempo fork certificates (#17867) by @0xKarl98
- fix(script): keep saved endpoint on resume without --rpc-url (#17881) by @stevencartavia
- fix(forge): warn on fuzz replay fork block change (#17883) by @stevencartavia
- fix(script): name chains in multichain errors and reconcile all on resume (#17880) by @stevencartavia