Make sure that setlength does not allocate a negative amount of bytes
Bump QuickCheck lower bound to 2.7