KEVMSemantics: refactor custom_step and can_make_custom_step#2662

PetarMax merged 2 commits intomasterruntimeverification/evm-semantics:masterfrom

custom_step_tweaksruntimeverification/evm-semantics:custom_step_tweaksCopy head branch name to clipboard