Add QuickCheck under executable as well