Move sanitization to lib-param-bn

[daemontus]

New version of lib-param-bn and lib-bdd support a generalized sanitization process at the level of individual Bdd and BddVariableSet objects (it also supports a wider range of use cases, although it still won't reorder variables). Hence we no longer need the sanitization code directly in the model checker.

The process is tested in the original libraries, but I haven't added specific tests here, I just rely on the existing tests. If some extra testing should be added to verify everything is working as intended, please let me know.

Also, we don't necessarily need to merge this anytime soon, but it's nice to remove the duplicate functionality.

[codecov]

Codecov Report

All modified lines are covered by tests ✅

Comparison is base (5dc65a5) 89.40% compared to head (e56995b) 89.14%.

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

Additional details and impacted files

@@            Coverage Diff             @@
##           master      #12      +/-   ##
==========================================
- Coverage   89.40%   89.14%   -0.27%     
==========================================
  Files          24       24              
  Lines         812      792      -20     
==========================================
- Hits          726      706      -20     
  Misses         86       86              

Files	Coverage Δ
src/postprocessing/sanitizing.rs	100.00% <100.00%> (ø)

... and 2 files with indirect coverage changes

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