More testing examples.
update to SmartCheck for the newest version of QuickCheck.
comp examples update.
paper updates.