chore: compile for CBMC with warnings-as-errors#774

tautschnig wants to merge 1 commit intoaws:masteraws/aws-encryption-sdk-c:masterfrom

tautschnig:cbmc-werrortautschnig/aws-encryption-sdk-c:cbmc-werrorCopy head branch name to clipboard