use quickcheck_derive

[llogiq]

I recently rewrote it so it can derive Arbitrary for enums. No shrinking yet, but this may come in a future version.

[blt]

This is an interesting idea but would need to be done in terms of the arbitrary crate, at least with the current approach.

[llogiq]

Fine with me.