Ensure testing infrastructure works reliably and provides readable output

[wizard7377]

Is your feature request related to a problem? Please describe.

Testing infrastructure is critical to development workflows. Sometimes tests may:

• Give unreadable output, making debugging difficult.
• Fail incorrectly, reporting failures where none exist.

Currently, we use Alcotest (for OCaml). There have been specific issues:

• The "failure" test should fail but doesn't.
• There are unwarranted failures related to source files not existing.

We want to ensure our testing setup:

• Always fails when it should (e.g., "failure" test).
• Never gives unwarranted failures (especially missing source file errors).
• Produces readable, actionable test output.

Describe the solution you'd like

• Tests reliably pass or fail according to the code status, especially ensuring "failure" fails as intended.
• Output from test runs is readable and clearly shows pass/fail info.
• No false negatives or false positives creeping into workflows.
• Unwarranted file-related failures are resolved or properly reported.