update readme about verilator build, etc