BetterV: Controlled Verilog Generation with Discriminative Guidance