QuickCheck for Julia