Merge branch 'improvements-for-tracking-scalars-in-the-bpf-verifier'