CBMC: Remove uses of object_whole and same_object#1390

mkannwischer merged 1 commit intomainpq-code-package/mlkem-native:mainfrom

no_object_wholepq-code-package/mlkem-native:no_object_wholeCopy head branch name to clipboard