bpf: Improve verifier for cond_op and spilled loop index variables #20178

Job	Run time
set-matrix	1s
build for x86_64 with gcc	5m 30s
build for x86_64 with llvm-16	4m 58s
build for aarch64 with gcc	5m 9s
build for aarch64 with llvm-16	4m 58s
build for s390x with gcc	22m 16s
test_progs on x86_64 with gcc	5m 4s
test_progs_parallel on x86_64 with gcc	3m 45s
test_progs_no_alu32 on x86_64 with gcc	4m 40s
test_progs_no_alu32_parallel on x86_64 with gcc	3m 28s
test_maps on x86_64 with gcc	3m 56s
test_verifier on x86_64 with gcc	2m 44s
test_progs on x86_64 with llvm-16	5m 16s
test_progs_parallel on x86_64 with llvm-16	3m 7s
test_progs_no_alu32 on x86_64 with llvm-16	4m 22s
test_progs_no_alu32_parallel on x86_64 with llvm-16	3m 9s
test_maps on x86_64 with llvm-16	3m 47s
test_verifier on x86_64 with llvm-16	1m 58s
test_progs on aarch64 with gcc	5m 32s
test_progs_parallel on aarch64 with gcc	2m 36s
test_progs_no_alu32 on aarch64 with gcc	4m 23s
test_progs_no_alu32_parallel on aarch64 with gcc	3m 21s
test_maps on aarch64 with gcc	4m 19s
test_verifier on aarch64 with gcc	1m 21s
test_progs on aarch64 with llvm-16	4m 26s
test_progs_parallel on aarch64 with llvm-16	2m 32s
test_progs_no_alu32 on aarch64 with llvm-16	3m 31s
test_progs_no_alu32_parallel on aarch64 with llvm-16	2m 29s
test_maps on aarch64 with llvm-16	3m 31s
test_verifier on aarch64 with llvm-16	1m 18s
test_progs on s390x with gcc	32m 30s
test_progs_no_alu32 on s390x with gcc	15m 12s
test_maps on s390x with gcc	45m 35s
test_verifier on s390x with gcc	11m 45s
	3h 52m 29s

Provide feedback