bpf: Fix propagation of bounds from 64-bit min/max into 32-bit and var_off.