Remove looping asWord-eq-false lemma and expose --equation-max-local-steps#2863

ehildenb merged 9 commits into

masterruntimeverification/evm-semantics:masterfrom

asword-eq-false-loop-fixruntimeverification/evm-semantics:asword-eq-false-loop-fixCopy head branch name to clipboard