Should the aggregation macros be Derive macros?

[JoshOrndorff]

Currently the tuxedo_constraint_checker and tuxedo_verifier macros are attribute macros. But the main thing they are doing is implementing the ConstraintChecker and Verifier traits. Makes me think they should be derive macros.

Making them derive macros would make it more clear to users that they are ultimately just aggregating and implementing the same exact trait.

Rust Macro Reference docs: https://doc.rust-lang.org/reference/procedural-macros.html