It's also not like you'd just give up on fuzzers because you have formally verified code. All the same tools should still be available, plus one more.