Adding QuickCheck property/support.
Updating Cache example slightly.