bpf: Fix verifier jsgt branch analysis on max bound