bpf/verifier: when pruning a branch, ignore its write marks