Move Verilog modules to a separate package

[langston-barrett]

Presumably, most clients of What4 aren't generating Verilog. These modules could go in their own package that depends on what4 so that other clients don't have to pay the cost of compiling them.