QuickCheck Reorg and Range Expansion

This pull request does two things:

* Puts generic arbitrary instances into a separate module, currently called Extra_Arbitrary; and
* Fixes the ranges of the `arbitrary_uint{16,32,64}` so that they can reach their max values.