This is useful for generating random Nameds (in a future
1 patch for repository email@example.com:screened:
Author: Ganesh Sittampalam <firstname.lastname@example.org>
Date: Tue Jan 28 13:50:00 GMT 2020
* include junk in random PatchInfos
We then need to make sure not to remove it when shrinking.
Also fix the shrinking implementations to only shrink one thing
at a time.