bpf: split verifier and program ops