(De-)Randomized Smoothing for Decision Stump Ensembles