0.1.4

What's Changed

• make test_chaining cheaper when building in debug mode by @arvidn in #59
• Fuzzers for solver and prover by @arvidn in #60
• require k to be even by @arvidn in #63
• always join threads, even if there are exceptions by @arvidn in #64
• bump version to 0.1.4 by @arvidn in #65

Full Changelog: 0.1.3...0.1.4