Efficient Verified Machine Unlearning For Distillation