Add verilator checker for verilog.