bpf: Add AND verifier test case where 32bit and 64bit bounds differ