To build this, run git submodule update.
This will pull in the code at external\ebpf-verifier\