Is this the fuzzing tool that was used to find bugs in Bitcoin? I don't see it in the repository.