Increase the number of scenarii per proof in the CI

[Baptouuuu]

In order to better cover conditions based on the types of structures inputs (such as Map changing its implementation depending on the key type). This will allow for the code coverage to be more stable.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 97.50%. Comparing base (dfdebfc) to head (790208d).
Report is 4 commits behind head on develop.

Additional details and impacted files

@@              Coverage Diff              @@
##             develop      #30      +/-   ##
=============================================
+ Coverage      97.13%   97.50%   +0.37%     
  Complexity       977      977              
=============================================
  Files             64       64              
  Lines           3488     3488              
=============================================
+ Hits            3388     3401      +13     
+ Misses           100       87      -13     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.