Add more sanity checks in bpf_validate():