Proc macros that generates both a fuzz target for use with cargo fuzz, and a property test - View it on GitHub