[CI] Avoid mismatched comparison and fix error in forall/exists macros#1695

hanno-becker wants to merge 7 commits into

mainpq-code-package/mlkem-native:mainfrom

nmouha-fix-mismatched-comparisonpq-code-package/mlkem-native:nmouha-fix-mismatched-comparisonCopy head branch name to clipboard