Added check_verilator to testbench