Port changes from menhir/faster-reachability branch
This merge request import all changes that were applied to the version of Fix vendored in menhir "faster-reachability" branch.
GitLab upgrade completed. Current version is 18.3.6
https://about.gitlab.com/releases/2025/07/17/gitlab-18-2-released/
https://about.gitlab.com/releases/2025/08/21/gitlab-18-3-released/
This merge request import all changes that were applied to the version of Fix vendored in menhir "faster-reachability" branch.