cozy 1.5.1

New features for v1.5.1:

• Underconstrained symbolic execution was added. This can cut down the amount of time required to write harnesses in certain scenarios.
• Minor bug fixes (solver model generation, fixed typo in variable reference)