Smart-contract-verifier bug: reinstall compiler if not found locally

[sevenzing]

If compiler file not found locally (it was deleted) verified prints error: Internal error: No such file or directory

we need to reinstall this version, but we return 500