Generate longer alphabets than our generated grammars can (theoretically) parse.
Use a version of one-of to allow simple-check to shrink across generators (Thanks to Reid Draper).