Make sure that setlength does not allocate a negative amount of bytes
Bump QuickCheck lower bound to 2.7
Bump QuickCheck lower bound to 2.7.1
Merge branch 'master' into external-prog

Conflicts:
	tests/RegressionTests.hs