Prompt Certified Machine Unlearning with Randomized Gradient Smoothing and Quantization