Fixing a bunch of verilog backend issues.