Fix for Failing STM Proptests

[curiecrypt]

Content

For two different random configurations of the STM property test batch_verify, in one iteration of each batch, not enough unique signatures were collected to meet the quorum. This caused the batch verification functionality test to fail intermittently, leading to flaky CI behavior.

This PR updates the STM parameters for this test to ensure the quorum is always met, enabling consistent testing of batch verification functionality.

Pre-submit checklist

• Branch
  • [X] Tests are provided (if possible)
  • [X] Commit sequence broadly makes sense
  • [X] Key commits have useful messages
• PR
  • [x] No clippy warnings in the CI
  • [X] Self-reviewed the diff
  • [X] Useful pull request description
  • [X] Reviewer requested

Issue(s)

Closes #2109

[github-actions[bot]]

Test Results

    4 files  ±0     51 suites  ±0   11m 33s ⏱️ -2s 1 445 tests ±0  1 445 ✅ ±0  0 💤 ±0  0 ❌ ±0  1 656 runs  ±0  1 656 ✅ ±0  0 💤 ±0  0 ❌ ±0 

Results for commit 414527f4. ± Comparison against base commit 9e855305.

:recycle: This comment has been updated with latest results.