Add cegisForAll

[lsrcz]

This pull request adds the cegisForAll interface, which is similar to the cegis interface prior to grisette-0.4.0.0.

The interface seems to be useful and cannot be easily simulated with the current cegis interface, so we reimplemented it with the genericCEGIS function.

[codecov]

Codecov Report

Attention: 6 lines in your changes are missing coverage. Please review.

Comparison is base (81e0d10) 52.91% compared to head (826e2c2) 53.05%.

❗ Current head 826e2c2 differs from pull request most recent head 30fb7b6. Consider uploading reports for the commit 30fb7b6 to get more accurate results

Files	Patch %	Lines
src/Grisette/Core/Data/Class/CEGISSolver.hs	79.31%	4 Missing and 2 partials ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #165      +/-   ##
==========================================
+ Coverage   52.91%   53.05%   +0.13%     
==========================================
  Files          66       66              
  Lines        5805     5834      +29     
  Branches      445      447       +2     
==========================================
+ Hits         3072     3095      +23     
- Misses       2288     2292       +4     
- Partials      445      447       +2     

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