Verifier error message patterns

We might want to detect verifier error message by direct pattern matching, since verifier code is available and the list of patterns can be extracted from there.

See discussion here: https://github.com/libbpf/bpfvv/pull/71#issuecomment-3246498313