QuickCheck Reorg and Range Expansion

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