Certified Rewrite Verifer