[$] BPF loop verification with scalar evolution

The BPF verifier still analyzes for loops by simulating each iteration until an exit condition, which can wrongly hit the instruction limit. Eduard Zingerman presented in-progress work to improve loop handling, especially for nested loops, at the 2026 Linux Storage, Filesystem, Memory-Management, and BPF Summit.