bpf, verifier: Use fallthrough pseudo-keyword