Echidna 2.3.3

[gustavo-grieco]

Prepare the 2.3.3 release:

• Bump version to 2.3.3
• Update CHANGELOG with all user-facing changes since 2.3.2 ([Bug-Candidate]: Test reason to fail (e.g. revert, assertion failure, etc) is not shown consistently #1476, Allow foundry unit test generation to handle assertion failure with events #1550, Allow to disable testing of view/pure function, except prefix ones in property mode #1552, Fix shrinking desync between reproducer and vm traces #1554, Fix: Start UI event listener before spawning workers [Vibecoded] #1563, Distribute replay corpus evenly across all fuzz workers [Vibecoded] #1565, Disable ANSI escape codes when echidna output is not executed on TTY #1567, libff: fix header installation with CMake 4.3+ #1573, Update hevm to 8b2cb6266413f7f964e49053a278a895a21dc507 #1575, Fix unbounded thunk accumulation in GenDict constants update #1577, Update hevm to support dynamic argument inputs in symbolic mode #1580, Bump tls to 2.2.2 in flake and stack #1581, Fix divide-by-zero distributing corpus with zero workers #1583, Reject precompile deployment addresses #1585, Drain campaign event queue to fix root-cursor memory leak #1587)
• Update hevm to 4ca42fd (0.58.0), which additionally brings a fix for cheatcode string arguments with invalid UTF-8

Verified that the branch builds with the new hevm pin and that the binary reports Echidna 2.3.3.

🤖 Generated with Claude Code