Update cbmc version in config to 5.27.0#6015

NlightNFotis merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

NlightNFotis:cbmc-5.27.0-version-bumpNlightNFotis/cbmc:cbmc-5.27.0-version-bumpCopy head branch name to clipboard