Added support for verilator in /usr/local
Added two verilator bug reports