Inline-Verilog: Execute Verilog circuits from Haskell