UndefinedBehaviorSanitizer: radix_substr shift exponent 64 is too large for 64-bit type

[Alan-Jowett]

/home/runner/work/ebpf-verifier/ebpf-verifier/src/crab/array_domain.cpp:68:10: runtime error: shift exponent 64 is too large for 64-bit type 'uint64_t' (aka 'unsigned long')
SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior /home/runner/work/ebpf-verifier/ebpf-verifier/src/crab/array_domain.cpp:68:10

ebpf-verifier/src/crab/array_domain.cpp

Line 68 in 6d092f4

mask <<= offset_t::bitsize - length - begin;