Certified Robustness Under Bounded Levenshtein Distance