Derive Macro VerifyCommutative 

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

Derive VerifyCommutative: generates proptest for commutativity of combine.

Requires: T: Semigroup + Clone + Debug + PartialEq