This test is our first fuzzing test. It's clearly valuable based on what you said in IRC but since it's non-deterministic do we want to consider putting it in a separate PR to discuss our general fuzzing approach?

What about capturing one of the bad keys it creates that doesn't add an error to the stack and making it a separate test for now?