Add quickcheck.
Merge pull request #1 from FranklinChen/franklinchen

Add quickcheck.