bpf: verifier (add verifier core)