Use verilator for simulation

Verilator is a lot faster and supports more features than iverilog.