QuickCheck SmallCheck and interact