CBMC: Increase CBMC_OBJECT_BITS for poly_pointwise_montgomery

The poly_pointwise_montgomery for ML-DSA-44 was taking 2415 seconds in CI.
Increasing CBMC_OBJECT_BITS to 10 solves this issue.

Signed-off-by: Matthias J. Kannwischer <matthias@kannwischer.eu>

Author: mkannwischer

proofs/cbmc/poly_pointwise_montgomery/Makefile

@@ -37,7 +37,7 @@ FUNCTION_NAME = poly_pointwise_montgomery
 # EXPENSIVE = true
 
 # This function is large enough to need...
-CBMC_OBJECT_BITS = 8
+CBMC_OBJECT_BITS = 10
 
 # If you require access to a file-local ("static") function or object to conduct
 # your proof, set the following (and do not include the original source file