Fixed issue where QuickCheck was generating blocks of the wrong length