Add proper error message on digest mismatch in require#915

Gustavo2622 wants to merge 1 commit intomainEasyCrypt/easycrypt:mainfrom

fix_ecscope_digest_mismatch_errorEasyCrypt/easycrypt:fix_ecscope_digest_mismatch_errorCopy head branch name to clipboard