Debug: Add bounds assertions in polyvec.c

- This commit is ported from mlkem PR #214
- All implementations of functions in polyvec.c have bounds assertions for inputs and outputs added that match the CBMC specifications.

Signed-off-by: willieyz <[email protected]>

Author: willieyz

mldsa/debug.c

@@ -40,7 +40,7 @@ void mld_debug_check_bounds(const char *file, int line, const int32_t *ptr,
       fprintf(stderr,
               MLD_DEBUG_ERROR_HEADER
               "Bounds assertion failed: Index %u, value %d out of bounds "
-              "(%ld,%ld)\n",
+              "(%lld,%lld)\n",
               file, line, i, (int)val, lower_bound_exclusive,
               upper_bound_exclusive);
       err = 1;