macros: avoid trivial cast in #[quickcheck] expansion

[rome-xi]

Closes #261.

#[quickcheck] expanded fn_item as fn(..) which trips trivial_casts when the attribute is applied inside macro_rules that substitutes a type. Coerce through a let binding instead of as, and add a regression test that denies trivial_casts.