An bounds consistent propagator for all_different

[Dekker1]

Implementation thanks to @dannem1337

A few TODOs left before merging:

• Bounds consistency seems like the same default. Is that correct? (It at least reduces the number of variables we generally make equality literals for). Chuffed, I believe, uses both bounds and value consistency at the same time
• @AllenZzw mentioned an issue when testing.

[codecov]

Codecov Report

Attention: Patch coverage is 92.87469% with 29 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
crates/huub/src/constraints/int_all_different.rs	96.01%	11 Missing and 4 partials ⚠️
crates/huub/src/flatzinc.rs	53.57%	11 Missing and 2 partials ⚠️
crates/huub/src/lib.rs	66.66%	0 Missing and 1 partial ⚠️

Files with missing lines	Coverage Δ
crates/huub/src/lib.rs	67.72% <66.66%> (-0.62%)	⬇️
crates/huub/src/flatzinc.rs	48.62% <53.57%> (+0.15%)	⬆️
crates/huub/src/constraints/int_all_different.rs	95.38% <96.01%> (+0.85%)	⬆️

... and 2 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[codspeed-hq]

CodSpeed Performance Report

Merging #164 will degrade performances by 30.66%

_{Comparing Dekker1:feat/all_different_bounds (900e2fa) with develop (be40788)}

Summary

❌ 1 regressions
✅ 13 untouched benchmarks

⚠️ Please fix the performance issues or acknowledge them on CodSpeed.

Benchmarks breakdown

	Benchmark	BASE	HEAD	Change
❌	satisfaction[sudoku_p48]	9.5 ms	13.6 ms	-30.66%