Added QuickCheck, and renamed TauBasis -> Tau
Added quickcheck prop, not working