Adding QuickCheck tests.
- Need to async tests.