There are many build plans that require these specific versions of `QuickCheck`
and `random`, so it was necessary to include these empty patches to make the CI
pass. Kudos to Ben Gamari for teaching me about this trick.

Since this trick was not obvious to me until Ben pointed it out, I added an
additional section to `ci/README.md` which explains how empty patches work and
why you might want to use them.