Reorganized tests.  Moved tests into a separate tree.  Removed QuickCheck test files.