solverGenericCEGIS will only rerun possible verifiers

[lsrcz]

Improve the verification performance during CEGIS by making solverGenericCEGIS only rerun if the verifier could possibly give an example.

[codecov]

Codecov Report

Attention: Patch coverage is 69.23077% with 4 lines in your changes missing coverage. Please review.

Project coverage is 54.93%. Comparing base (d44dcbc) to head (4a592fd).
Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
...c/Grisette/Internal/Core/Data/Class/CEGISSolver.hs	69.23%	0 Missing and 4 partials ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #258      +/-   ##
==========================================
- Coverage   54.94%   54.93%   -0.02%     
==========================================
  Files         121      121              
  Lines       12807    12813       +6     
  Branches      913      916       +3     
==========================================
+ Hits         7037     7039       +2     
- Misses       4857     4858       +1     
- Partials      913      916       +3     

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