HAVEN: Hybrid Automated Verification ENgine for UVM Testbench Synthesis with LLMs (ArXiv cs.AR Recent Papers, 2026)