Make Active QuickCheck 2 usable

[mikesperber]

Make Active QuickCheck 2 usable:

https://github.com/active-group/active-quickcheck2

[neshtea]

Related issues in active-quickcheck2

• Complete set of supported realms in property syntax active-quickcheck2#2
• Allow realm abbreviations in property syntax active-quickcheck2#3

These would need to be resolved first to consider this issue resolved.