CBMC: Increase OBJECT_BITS for polyvecl_pointwise_acc_montgomery_c#848

hanno-becker merged 1 commit intomainpq-code-package/mldsa-native:mainfrom

cbmc-regression-polyveclpq-code-package/mldsa-native:cbmc-regression-polyveclCopy head branch name to clipboard