copy missing exceptions tests, loosen QuickCheck dep