Test ice40 simulation primitives against verilator

[leonardt]

Emit the equivalent Verilog code (in terms of ice40 primitives), compile through Verilator and check against the Python simulation functions