Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections