Rewrite QuickCheck tests to use Hedgehog

[bitemyapp]

Use of arbitrary is pretty minimal so it shouldn't be that hard.

[FintanH]

@bitemyapp I'd love to do this. Want to get some Hedgehog under my belt

[bitemyapp]

@FintanH all yours mate