Updates the cost evaluation for stack operations, as some have changed since the top of the stack move to CPU table.
Also removes the TODO related to PUSH cost as it seems correct now that PUSH constraints induce 1 Memory read per byte.
Gains are clearly negligible, but at least it's coherent with the underlying implementation.
Updates the cost evaluation for stack operations, as some have changed since the top of the stack move to CPU table. Also removes the TODO related to PUSH cost as it seems correct now that PUSH constraints induce 1 Memory read per byte.
Gains are clearly negligible, but at least it's coherent with the underlying implementation.
closes #1332