Validation of tolerance parameters

[kklein]

For example, max_relative_deviation or max_absolute_deviation are typically expected to be positive. Yet, we currently do hardly any input validation in the respective Constraint constructors. Validating this input could help users finding sneaky typos/bugs.