Derive Macro VerifyCommutative 

#[derive(VerifyCommutative)]
{
    // Attributes available to this derive:
    #[verify]
}

Re-export derive macros when the derive feature is enabled. Derive VerifyCommutative: generates proptest for commutativity of combine.

Requires: T: Semigroup + Clone + Debug + PartialEq