v0.3.1

Release v0.3.1

hsesim

• Properly handles vacuous transitions through multi-branch selection statements.

hseenc

• Can solve state conflict problems for a much larger class of circuits at the expense of compile time.
• Various bug fixes throughout the conflict identification code.