Add verification spec, force a failure