miri: integrate Bazel Miri tests in baselibs_rust

[dcalavrezo-qorix]

Body:

miri: integrate Bazel Miri tests in baselibs_rust

• update rules_rust to 0.68.2-score
• update score_toolchains_rust to 0.9.1
• register the Ferrocene Miri toolchain for x86_64-linux
• add miri_test wrappers for the Rust test targets
• add a root miri_tests suite
• run the Miri suite in the Bazel tests workflow

Notes for Reviewer

Pre-Review Checklist for the PR Author

• PR title is short, expressive and meaningful
• Commits are properly organized
• Relevant issues are linked in the References section
• Tests are conducted
• Unit tests are added

Checklist for the PR Reviewer

• Commits are properly organized and messages are according to the guideline
• Unit tests have been written for new behavior
• Public API is documented
• PR title describes the changes

Post-review Checklist for the PR Author

• All open points are addressed and tracked via issues

References

Closes #

[github-actions]

License Check Results

🚀 The license check job ran with the Bazel command:

bazel run --lockfile_mode=error //:license-check

Status: ⚠️ Needs Review

Click to expand output

[License Check Output]
Extracting Bazel installation...
Starting local Bazel server (8.4.2) and connecting to it...
INFO: Invocation ID: fb32f686-f0bb-4c28-8321-c4e5491fa4d7
Computing main repo mapping: 
Computing main repo mapping: 
WARNING: For repository 'rules_python', the root module requires module version rules_python@1.4.1, but got rules_python@1.8.3 in the resolved dependency graph. Please update the version in your MODULE.bazel or set --check_direct_dependencies=off
WARNING: For repository 'bazel_skylib', the root module requires module version bazel_skylib@1.7.1, but got bazel_skylib@1.8.2 in the resolved dependency graph. Please update the version in your MODULE.bazel or set --check_direct_dependencies=off
WARNING: For repository 'rules_cc', the root module requires module version rules_cc@0.1.1, but got rules_cc@0.2.14 in the resolved dependency graph. Please update the version in your MODULE.bazel or set --check_direct_dependencies=off
WARNING: For repository 'aspect_rules_lint', the root module requires module version aspect_rules_lint@2.0.0, but got aspect_rules_lint@2.3.0 in the resolved dependency graph. Please update the version in your MODULE.bazel or set --check_direct_dependencies=off
WARNING: For repository 'buildifier_prebuilt', the root module requires module version buildifier_prebuilt@7.3.1, but got buildifier_prebuilt@8.5.1 in the resolved dependency graph. Please update the version in your MODULE.bazel or set --check_direct_dependencies=off
Loading: 
Loading: 0 packages loaded
Loading: 0 packages loaded
Loading: 0 packages loaded
    currently loading: 
Loading: 0 packages loaded
    currently loading: 
Loading: 0 packages loaded
    currently loading: 
Analyzing: target //:license-check (1 packages loaded)
Analyzing: target //:license-check (1 packages loaded, 0 targets configured)
Analyzing: target //:license-check (1 packages loaded, 0 targets configured)

Analyzing: target //:license-check (34 packages loaded, 9 targets configured)

Analyzing: target //:license-check (88 packages loaded, 9 targets configured)

Analyzing: target //:license-check (142 packages loaded, 1381 targets configured)

Analyzing: target //:license-check (142 packages loaded, 2717 targets configured)

Analyzing: target //:license-check (142 packages loaded, 2717 targets configured)

Analyzing: target //:license-check (142 packages loaded, 2717 targets configured)

Analyzing: target //:license-check (153 packages loaded, 4218 targets configured)

Analyzing: target //:license-check (159 packages loaded, 8074 targets configured)

Analyzing: target //:license-check (164 packages loaded, 8123 targets configured)

Analyzing: target //:license-check (164 packages loaded, 8123 targets configured)

Analyzing: target //:license-check (166 packages loaded, 8714 targets configured)

Analyzing: target //:license-check (167 packages loaded, 10011 targets configured)

Analyzing: target //:license-check (167 packages loaded, 10011 targets configured)

Analyzing: target //:license-check (168 packages loaded, 10135 targets configured)

Analyzing: target //:license-check (194 packages loaded, 10446 targets configured)
[13 / 17] [Prepa] Generating Dash formatted dependency file ...
INFO: From Generating Dash formatted dependency file ...:
INFO: Successfully converted 5 packages from Cargo.lock to bazel-out/k8-fastbuild/bin/formatted.txt
Analyzing: target //:license-check (194 packages loaded, 10446 targets configured)
[15 / 17] [Prepa] JavaToolchainCompileBootClasspath external/rules_java+/toolchains/platformclasspath.jar
Analyzing: target //:license-check (194 packages loaded, 10446 targets configured)
[16 / 17] [Prepa] Building license.check.license_check.jar ()
Analyzing: target //:license-check (194 packages loaded, 10446 targets configured)
[17 / 17] no actions running
Analyzing: target //:license-check (195 packages loaded, 14780 targets configured)
[17 / 17] no actions running
INFO: Analyzed target //:license-check (195 packages loaded, 14780 targets configured).
INFO: Found 1 target...
Target //:license.check.license_check up-to-date:
  bazel-bin/license.check.license_check
  bazel-bin/license.check.license_check.jar
INFO: Elapsed time: 33.705s, Critical Path: 2.86s
INFO: 17 processes: 12 internal, 4 processwrapper-sandbox, 1 worker.
INFO: Build completed successfully, 17 total actions
INFO: Running command line: bazel-bin/license.check.license_check ./formatted.txt <args omitted>
usage: org.eclipse.dash.licenses.cli.Main [-batch <int>] [-cd <url>]
       [-confidence <int>] [-ef <url>] [-excludeSources <sources>] [-help] [-lic
       <url>] [-project <shortname>] [-repo <url>] [-review] [-summary <file>]
       [-timeout <seconds>] [-token <token>]

[github-actions]

The created documentation from the pull request is available at: docu-html