Updated verilator foundbugs