Add failing tests for `#[quickcheck]` attribute
Throw error when `#[quickcheck]` is attached to unsupported item