Generation Meets Verification: Accelerating Large Language Model Inference with Smart Parallel Auto-Correct Decoding