Document verilator arguments