OK, I understand your reasoning, and while this behavior may seem slightly strange to me, the users may well be expecting this kind of thing, as you say.

What does this mean read-write fields? I assume they should have the same behavior; if you call `Verify(FieldInfo)`, and no matching constructor argument is found, it results in a no-op.