feat: enable the usage of `Propagator` at the `Model` level (#246)

This marks a large change in the working of the codebase of the solver.
- Constraint and Propagator have a shared base and work with the same generic setup
- Model posting functions now take the Model as their first argument.

solver version used to conduct the experiment for the CP2025 paper