0.1.3

What's Changed

• Proof core integer math by @drnick23 in #44
• don't print debug output by @arvidn in #51
• Challenge simulation analytics for HDD load and challenge simulation by @drnick23 in #50
• add test for provers by @arvidn in #52
• fix clippy warnings by @arvidn in #53
• Convert vectors to arrays by @arvidn in #54
• Removed duplicate pairings being added to solver stage. by @drnick23 in #56
• simplify full proof by only storing the x-values, not strength by @arvidn in #57
• disable timing and printing of solver timings by @arvidn in #55
• bump version to 0.1.3 by @arvidn in #58

Full Changelog: 0.1.2...0.1.3