Validation of tolerance parameters

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.