Use `max_weight_to_satisfy` instead of `max_satisfaction_weight`

[danielabrozzoni]

Needs #1023

max_satisfaction_weight is deprecated, we should switch to using max_weight_to_satisfy instead.

Note that the switch is not an easy search and replace, the two methods have slightly different definitions

[realeinherjar]

@notmandatory and @danielabrozzoni I want to try to help this one out.