yosys: Use read_verilog