Verify source

compiler output must reproduce the deployed bytecode — immutables masked, nothing else forgiven

Imports are not fetched. Multi-file contracts go in as standard-json with every source inlined.