Diver: Large Language Model Decoding with Span-Level Mutual Information Verification