Running Formal Sample Agreement for LLM-Generated RTL 🔬 Reference-free correctness signal for LLM-generated Verilog