Crate quickcheck_macros

This crate provides the #[quickcheck] attribute. Its use is documented in the quickcheck crate.