Actually not such a crazy idea! There are always parts of verified implementations that aren't verified. And who knows, maybe they got some of their proofs wrong!
it would be really, really interesting if fuzzing found an error in the proof! there isn't a good track record for this though. i've been thinking about what to do to have a chance of success with that for a little.