Real-time Verification and Refinement of Language Model Text Generation