Allow multiple possible operations in verification

Problem/Motivation

For some special scenarios one might want to use a particular verification method for multiple possible operations.

Proposed resolution

Allow to specify an array of operations where at least one must match for the verification to succeed.