Update dependency: deps/kevm_release

[rv-jenkins]

Blocked on:

• Partially revert #2427 evm-semantics#2444

[palinatolmach]

Strange — in the latest CI run, several tests failed because Kontrol doesn't recognize some of the cheatcodes:

E                   K_CELL: #cheatcode_error selector ( "freshBool()" ) b""
E                   ~> #cheatcode_return 128 32

Will re-run locally.

[palinatolmach]

The failure intest_bool

kontrol/src/tests/integration/test-data/foundry/test/FreshInt.t.sol

Lines 11 to 12 in 682f531

	function test_bool() public {
	uint256 fresh_uint256 = kevm.freshBool();

reproduces locally too:

K_CELL: #cheatcode_error selector ( "freshBool()" ) b""
                  ~> #cheatcode_return 128 32

The same happens in the test using kevm.symbolicStorage(address). Both cheatcodes are defined in {.k .symbolic} blocks. @tothtamas28 @anvacaru is it possible that those are not getting kompiled/included in kompilation after runtimeverification/evm-semantics#2427?

[tothtamas28]

is it possible that those are not getting kompiled/included in kompilation after runtimeverification/evm-semantics#2427?

Let me check.

[tothtamas28]

is it possible that those are not getting kompiled/included in kompilation after runtimeverification/evm-semantics#2427?

Let me check.

Seems to be the case, good catch. I'll revert the PR.

[palinatolmach]

Thanks @tothtamas28!