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

Merge branch 'taint-domain' of https://github.com/lisa-analyzer/evm-l… #351