Verify contract

Submit the exact compiler input for a deployed contract. Sources are recompiled server-side and matched against the on-chain bytecode — verification succeeds only when they match.