Merge branch 'taint-domain' of github.com:lisa-analyzer/evm-lisa into…

Merge branch 'taint-domain' of github.com:lisa-analyzer/evm-lisa into… #372