kore-0.60.0.0

[ana-pantilie]

---

Review checklist

The author performs the actions on the checklist. The reviewer evaluates the work and checks the boxes as they are completed.

• Summary. Write a summary of the changes. Explain what you did to fix the issue, and why you did it. Present the changes in a logical order. Instead of writing a summary in the pull request, you may push a clean Git history.
• Documentation. Write documentation for new functions. Update documentation for functions that changed, or complete documentation where it is missing.
• Tests. Write unit tests for every change. Write the unit tests that were missing before the changes. Include any examples from the reported issue as integration tests.
• Clean up. The changes are already clean. Clean up anything near the changes that you noticed while working. This does not mean only spatially near the changes, but logically near: any code that interacts with the changes!

[github-actions]

name	diff_allocated_bytes	diff_max_live_bytes
test/regression-evm/test-storagevar03.sh	-0.000012	-0.000704
test/regression-evm/test-straight-line-no-invalid.sh	0.000000	0.000000
test/regression-evm/test-totalSupply.sh	-0.000001	0.005156
test/regression-evm/test-and0.sh	0	-0.000000
test/regression-evm/test-sumTo10.sh	0.000000	-0.000000
test/regression-evm/test-pop1.sh	0.000000	-0.000000
test/regression-evm/test-branching-invalid.sh	0.000000	0.046148
test/regression-evm/test-lemmas.sh	-0.000005	-0.014983
test/regression-evm/test-straight-line.sh	0.000000	-0.023476
test/regression-evm/test-sum-to-n.sh	0.000001	0
test/regression-evm/test-addu48u48.sh	0.000000	0.004248
test/regression-evm/test-sha3_bigSize.sh	-0.000002	0.008456
test/regression-evm/test-dsvalue-peek-pass-rough.sh	0.000002	-0.125867
test/regression-evm/test-add0.sh	0.000000	0.000002
test/regression-evm/test-mul0.sh	0.000000	0
test/regression-evm/test-branching-no-invalid.sh	0.000000	-0.071702
test/regression-wasm/test-memory.sh	0.000005	0.000000
test/regression-wasm/test-locals.sh	0	0
test/regression-wasm/test-loops.sh	0.000021	0
test/regression-wasm/test-simple-arithmetic.sh	-0.000006	0
test/regression-wasm/test-wrc20.sh	-0.000000	-0.000587

[github-actions]

name	diff_allocated_bytes	diff_max_live_bytes
test/regression-evm/test-storagevar03.sh	-0.000002	-0.000797
test/regression-evm/test-straight-line-no-invalid.sh	0.000000	0.005904
test/regression-evm/test-totalSupply.sh	-0.000002	0.017434
test/regression-evm/test-and0.sh	-0.000000	0.000001
test/regression-evm/test-sumTo10.sh	0.000000	-0.000117
test/regression-evm/test-pop1.sh	0.000000	-0.005961
test/regression-evm/test-branching-invalid.sh	0.000000	0
test/regression-evm/test-lemmas.sh	-0.000001	0.005457
test/regression-evm/test-straight-line.sh	0.000000	0
test/regression-evm/test-sum-to-n.sh	-0.000003	0
test/regression-evm/test-addu48u48.sh	0.000003	0.011329
test/regression-evm/test-sha3_bigSize.sh	-0.000000	0.004549
test/regression-evm/test-dsvalue-peek-pass-rough.sh	0.000003	-0.003204
test/regression-evm/test-add0.sh	-0.000000	-0.004499
test/regression-evm/test-mul0.sh	-0.000000	0
test/regression-evm/test-branching-no-invalid.sh	-0.000000	-0.000001
test/regression-wasm/test-memory.sh	-0.000001	0.000000
test/regression-wasm/test-locals.sh	0.000000	0.000002
test/regression-wasm/test-loops.sh	-0.000015	0.000004
test/regression-wasm/test-simple-arithmetic.sh	-0.000001	0
test/regression-wasm/test-wrc20.sh	-0.000006	0.000572

[github-actions]

name	diff_allocated_bytes	diff_max_live_bytes
test/regression-evm/test-storagevar03.sh	0.000003	-0.000000
test/regression-evm/test-straight-line-no-invalid.sh	0	0.005904
test/regression-evm/test-totalSupply.sh	-0.000000	0.005225
test/regression-evm/test-and0.sh	0.000000	-0.000001
test/regression-evm/test-sumTo10.sh	0.000000	-0.000176
test/regression-evm/test-pop1.sh	0.000000	-0.005961
test/regression-evm/test-branching-invalid.sh	0.000000	-0.055333
test/regression-evm/test-lemmas.sh	0.000002	0.004526
test/regression-evm/test-straight-line.sh	-0.000001	0.008586
test/regression-evm/test-sum-to-n.sh	-0.000002	-0.003818
test/regression-evm/test-addu48u48.sh	-0.000001	-0.091788
test/regression-evm/test-sha3_bigSize.sh	-0.000000	-0.004528
test/regression-evm/test-dsvalue-peek-pass-rough.sh	0.000010	0.131322
test/regression-evm/test-add0.sh	-0.000000	0.000002
test/regression-evm/test-mul0.sh	0.000000	-0.000000
test/regression-evm/test-branching-no-invalid.sh	0	0.045736
test/regression-wasm/test-memory.sh	0.000004	0
test/regression-wasm/test-locals.sh	0.000000	0
test/regression-wasm/test-loops.sh	0.000012	0.000000
test/regression-wasm/test-simple-arithmetic.sh	-0.000002	0
test/regression-wasm/test-wrc20.sh	0.000000	0.000184