[pybinding] Add mapping from C++ program::verification to Python

[pytorchbot]

Summary: As titled. This enables
portable_lib._load_for_executorch[_from_buffer] to accept Program::Verification argument.

See added test, now we can do something like:

from executorch.extension.pybindings.portable_lib import Verification
module = load_fn(
  exported_program.buffer,
  enable_etdump=False,
  debug_buffer_size=0,
  program_verification=Verification.Minimal,
)

Test Plan: See unit test

Reviewers:

Subscribers:

Tasks:

Tags:

[pytorch-bot]

🔗 Helpful Links

🧪 See artifacts and rendered test results at hud.pytorch.org/pr/pytorch/executorch/6140

• 📄 Preview Python docs built from this PR

Note: Links to docs will display an error until the docs builds have been completed.

❌ 4 New Failures

As of commit eca226f with merge base eecf74f ():

NEW FAILURES - The following jobs have failed:

• Lint / lintrunner / linux-job (gh)
  >>> Lint for extension/pybindings/test/make_test.py:
• pull / unittest / linux / linux-job (gh)
  RuntimeError: Command docker exec -t 1224681c0d1e66c316052b34ae139fe0cad51435c813ffdc5b6831bc44b6d9af /exec failed with exit code 1
• pull / unittest / macos / macos-job (gh)
  RuntimeError: Command bash /Users/ec2-user/runner/_work/_temp/exec_script failed with exit code 1
• pull / unittest-arm (buck2) / linux-job (gh)
  ../../dev/ops/test_add.py::TestSimpleAdd::test_add2_tosa_BI_4

This comment was automatically generated by Dr. CI and updates every 15 minutes.

[jackzhxng]

Need to fix tests