Verify contract using creation tx input/int tx init code

[vbaranov]

#3105 #3108 #3110 #3111

Motivation

BlockScout verifies contracts by checking deployed bytecode stored at address, but in some cases it doesn't match deployed_byte_code_from_the_comilation + encoded_constructor_arguments. The suggestion is to compare init bytecode with the code from transaction input or from internal transaction init code.

Changelog

• get input tx bytecode or internal tx init code to compare with generated from the source init bytecode https://github.com/poanetwork/blockscout/pull/3106/files#diff-138876bcd167a22ec27a92debaf1e76cR2719
• extract init value if input is empty for contracts created from internal tx https://github.com/poanetwork/blockscout/pull/3106/files#diff-138876bcd167a22ec27a92debaf1e76cR2814-R2816
• improve the logic to find require messages in the constructor
• Tests extend with verification of Contract created from Factory (created from the internal transaction) and verification of contract with immutable declaration
• Update package.json for contract compilation script: remove keccak dependency and upgrade version of solc@0.6.7
• Refactoring of contract compilation script: remove unused variables
• #3112 - Fix verification of contracts, compiled with nightly builds of solc compiler
• #3112 - Check compiler version at contract verification

Checklist for your Pull Request (PR)

• I added an entry to CHANGELOG.md with this PR
• If I added new functionality, I added tests covering it.
• If I fixed a bug, I added a regression test to prevent the bug from silently reappearing again.
• I checked whether I should update the docs and did so by submitting a PR to https://github.com/blockscout/docs
• If I added/changed/removed ENV var, I submitted a PR to https://github.com/blockscout/docs to update the list of env vars at https://github.com/blockscout/docs/blob/master/for-developers/information-and-settings/env-variables.md and I updated the version to master in the Version column. Changes will be reflected in this table: https://docs.blockscout.com/for-developers/information-and-settings/env-variables.
• If I add new indices into DB, I checked, that they are not redundant with PGHero or other tools

[coveralls]

Pull Request Test Coverage Report for Build b151b2a7-0c5a-4045-a89a-2e2687c994d0

• 46 of 62 (74.19%) changed or added relevant lines in 4 files are covered.
• 3 unchanged lines in 2 files lost coverage.
• Overall coverage increased (+0.04%) to 75.151%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
apps/explorer/lib/explorer/smart_contract/verifier.ex	19	26	73.08%
apps/explorer/lib/explorer/smart_contract/verifier/constructor_arguments.ex	16	25	64.0%

Files with Coverage Reduction	New Missed Lines	%
apps/explorer/lib/explorer/smart_contract/verifier/constructor_arguments.ex	1	83.7%
apps/block_scout_web/lib/block_scout_web/controllers/chain/market_history_chart_controller.ex	2	71.43%

Totals
Change from base Build 2a6e8361-e441-441c-b2a6-093b2b57b776:	0.04%
Covered Lines:	5710
Relevant Lines:	7598

---

💛 - Coveralls