Fix SwhGraphProperties::label_name_id to correctly bisect on 2023-09-06 and newer graphs

Graphs compressed with the Rust implementation (2023-09-06 and newer) sort labels by name, while the Java implementation (2022-12-07 and older) sorted them by base64(name).

TODO: write tests (that's going to be so much fun)

marked this merge request as draft

Jenkins job DGRPH/gitlab-builds #2754 failed in 6 min 36 sec.
See Console Output, Blue Ocean and Coverage Report for more details.

added 1 commit

• be206d96 - Preserve label_names_are_in_base64_order cache when loading non-label properties

Compare with previous version

Jenkins job DGRPH/gitlab-builds #2755 succeeded in 19 min.
See Console Output, Blue Ocean and Coverage Report for more details.

added 1 commit

• 4987a2f7 - Add test

Compare with previous version

marked this merge request as ready

added 2 commits

• 885e733b - 1 commit from branch master
• 0e2b2303 - Merge branch 'master' into label-order

Compare with previous version

Jenkins job DGRPH/gitlab-builds #2756 succeeded in 34 min.
See Console Output, Blue Ocean and Coverage Report for more details.

Jenkins job DGRPH/gitlab-builds #2759 succeeded in 6 min 34 sec.
See Console Output, Blue Ocean and Coverage Report for more details.

Jenkins job DGRPH/gitlab-builds #2758 succeeded in 6 min 45 sec.
See Console Output, Blue Ocean and Coverage Report for more details.

merged