Definitions of shuffle and remove are made cleaner.
QuickCheck sort property has been added (candidate for deletion,
however).
/Y.