Make the verification_task factory a trait