Add --verbose option to bpf2c

[Alan-Jowett]

Resolve: #3879

Description

Add option to print verbose verification results on failure.

Testing

CI/CD

Documentation

No.

Installation

No.

[dthaler]

While the changes look good, I'm concerned about the "Documentation: No" in the PR description.
I checked the docs, and the README says:

See our basic eBPF tutorial and our tutorial on debugging eBPF verification failures.

However, neither of those mention bpf2c, and I believe both walkthroughs would eventually fail on a native-only build.
I would expect the tutorial.md to mention bpf2c, and this PR to then update the debugging.md doc accordingly.

[Alan-Jowett]

While the changes look good, I'm concerned about the "Documentation: No" in the PR description. I checked the docs, and the README says:

See our basic eBPF tutorial and our tutorial on debugging eBPF verification failures.

However, neither of those mention bpf2c, and I believe both walkthroughs would eventually fail on a native-only build. I would expect the tutorial.md to mention bpf2c, and this PR to then update the debugging.md doc accordingly.

I agree that our getting started and debugging docs are out-of-date with respect to native only builds. I agree that we should update them, but I am not sure this PR is the correct vehicle for that. Filed #4146