Review for NeurIPS paper: Higher-Order Certification For Randomized Smoothing