Verismith 0.2.0.0

• Change the generation backend from QuickCheck to hedgehog.
• Introduce state based Verilog generation.

Verismith 0.1.1.0

Minimal working product which contains minimal random Verilog generation and supports the following simulators:

• XST
• Yosys
• Iverilog