Merge branch 'master' into clk-race
Merge branch 'clk-race' of github.com:jeremybennett/verilator into clk-race