verif: add a lint target.

Verilator has a wider set of warnings than Icarus so always use it for
linting - it can catch things like combinational loops.