BDD/Remove Domain bdd_satmin and bdd_satmax

[SSoelvsten]

Tasks

• Reverts Extend bdd_satmin and bdd_satmax with Domain #504 . Furthermore, does also ignores skipped levels of the BDD. This not only simplifies the code, but makes bdd_satmin and bdd_satmax closer to other BDD packages (e.g. BuDDy).
• Makes bdd_mincube and bdd_maxcube redudant, as bdd_satmin and bdd_satmax already is this exact thing ( closes Add bdd_mincube and bdd_maxcube #454 ).
• Add iterator overloads for bdd_satmin and bdd_satmax ( closes Extend bdd_satmin and bdd_satmax with Consumer and Iterator output #225 )
• Add iterator overloads for zdd_minelem and zdd_maxelem

Also various code cleanup for anything traversal related... This makes src/bdd/evaluate.cpp and src/zdd/elem.cpp eerily similar. But, I have to think a bit more on how truly to merge the common pieces of code.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (857313b) 96.951% compared to head (a08b239) 96.951%.
Report is 1 commits behind head on main.

❗ Current head a08b239 differs from pull request most recent head 8ddae36. Consider uploading reports for the commit 8ddae36 to get more accurate results

Additional details and impacted files

@@            Coverage Diff            @@
##              main      #584   +/-   ##
=========================================
  Coverage   96.951%   96.951%           
=========================================
  Files           84        84           
  Lines         5871      5871           
=========================================
  Hits          5692      5692           
  Misses         179       179           

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