CBMC: Bump OBJECT_BITS from 8 to 10 for polyvec_add

Signed-off-by: Hanno Becker <beckphan@amazon.co.uk>

Author: hanno-becker

proofs/cbmc/polyvec_add/Makefile

@@ -48,7 +48,7 @@ FUNCTION_NAME = mlk_polyvec_add
 # 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