refactor(forks/lstar): small Pythonic cleanups#809

tcoratger merged 2 commits into

leanEthereum:mainleanEthereum/leanSpec:mainfrom

tcoratger:refactor/lstar-pythonic-cleanupstcoratger/leanSpec:refactor/lstar-pythonic-cleanupsCopy head branch name to clipboard