Fixes #1067 (#1254)
Fixes #1067 (#1254)

* moved repeated code into functions in separate file

* changed repeated code to function calls

* fix trailing whitespace in docstring detected by pep8 check

* line 1525 of manticore/ethereum/__init__.py was missing leading white space

* pep8 expects 2 blank lines between function definitions. Rookie move, rookie.

* Update string_formatting.py

* changing format strings to f strings

* Update string_formatting.py

change format strings to f strings

* small change because CI failed, need to push again

* change F format strings to f format strings, moved external functions into __init__ file where they are used.

* Combined contract_addr and evm_program_counter in to one function, write_findings

trailofbits/manticore,trailofbits/manticore,montyly/manticore,montyly/manticore,trailofbits/manticore