Meta issue for fuzzing

[fitzgen]

This is a meta issue tracking the various things we can do to fuzz bindgen.

• C-Smith: Fuzz bindgen with C-Smith #969
• quickcheck: Add property based testing with quickcheck #970
• cargo fuzz: Investigate fuzzing with cargo fuzz #971