Refactor #isPrecompiledAccount to support non-consecutive accounts#2829

anvacaru wants to merge 1 commit intomasterruntimeverification/evm-semantics:masterfrom

precompiled-harnessruntimeverification/evm-semantics:precompiled-harnessCopy head branch name to clipboard