Guarantees and Limits of Preprocessing in Constraint Satisfaction and Reasoning