proptest_derive: add #[proptest(default)] #561
Description
this attribute could be applied to struct fields to always use Just(Default::default()) as a strategy.
the attribute i'm currently using in my codebase for this purpose is #[cfg_attr(feature = "proptest", proptest(strategy = "proptest::strategy::Just(Vec::<Extension>::new())"))], which is quite verbose.