Verifies the input sequence and returns diagnostics.
First, this engine search an expected model object corresponded to each input object using their
VerifyRule#getKey(DataModelReflection).
If there are the such pairs, then this engine invokes
VerifyRule#verify(DataModelReflection,DataModelReflection)for each pair, and then removes the expected data.
Otherwise, this engine invokes
VerifyRule#verify(DataModelReflection,DataModelReflection).
for each input without corresponding expected object.
If there are any differences between expected objects and input objects,
the resulting list includes them.