Rigorous numerics for piecewise-smooth systems: A functional analytic approach based on Chebyshev series