Contract verification: check compiler version, verify compiled with nightly builds

[vbaranov]

#3110 #3111

Motivation

• BlockScout doesn't check compiler version on verification
• Contracts compiled with nightly builds cannot be verified

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 0b33e9f7-a890-4dc9-937f-1e6b226b71b1

• 23 of 37 (62.16%) changed or added relevant lines in 2 files are covered.
• 2 unchanged lines in 1 file lost coverage.
• Overall coverage decreased (-0.1%) to 75.099%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
apps/explorer/lib/explorer/smart_contract/verifier.ex	18	25	72.0%
apps/explorer/lib/explorer/smart_contract/verifier/constructor_arguments.ex	5	12	41.67%

Files with Coverage Reduction	New Missed Lines	%
apps/explorer/lib/explorer/smart_contract/verifier/constructor_arguments.ex	2	83.7%

Totals
Change from base Build b482e664-71cc-4b94-8ee1-718bcc21083b:	-0.1%
Covered Lines:	5706
Relevant Lines:	7598

---

💛 - Coveralls