Avoid mismatched comparison and fix error in forall/exists macros#1690

nmouha wants to merge 6 commits into

pq-code-package:mainpq-code-package/mlkem-native:mainfrom

nmouha:fix-mismatched-comparisonnmouha/mlkem-native:fix-mismatched-comparisonCopy head branch name to clipboard