Update QuickCheck tests to use the new monads

Updated instances and properties to use the new monads and rebase functions

TODO: Currently all rebase properties fail (sometimes)...