Add human readable error message for invalid main signatures#5416

NlightNFotis merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

hannes-steffenhagen-diffblue:fix/human-readable-error-on-wrong-main-signaturehannes-steffenhagen-diffblue/cbmc:fix/human-readable-error-on-wrong-main-signatureCopy head branch name to clipboard