Add CI and make tests more cross platform

[LioQing]

• add ci.yml to build and check formatting and linting
• add ./coverage/coverage.rs for running tests regardless of platform
• update run.ps1 and add run.sh to compile and run the coverage rust program

[Copilot]

Pull request overview

This PR adds continuous integration workflows and improves cross-platform compatibility for the coverage testing infrastructure. The changes consolidate the coverage script logic into a reusable Rust program that can be compiled and run from both Windows (PowerShell) and Unix-like systems (shell script).

Key changes:

• Adds a new CI workflow that runs build, format, and lint checks on every push and pull request
• Introduces a Rust program (coverage.rs) that centralizes the coverage testing logic previously in PowerShell
• Simplifies platform-specific runner scripts to just compile and execute the Rust program

Reviewed changes

Copilot reviewed 2 out of 7 changed files in this pull request and generated no comments.

Show a summary per file

File	Description
.github/workflows/ci.yml	New CI workflow for automated build and code quality checks
.github/workflows/release.yml	Formatting consistency updates (quotes and indentation)
coverage/coverage.rs	New Rust program that runs coverage tests and generates reports cross-platform
coverage/run.sh	New shell script for Unix-like systems that compiles and runs coverage.rs
coverage/run.ps1	Simplified PowerShell script that compiles and runs coverage.rs
coverage/README.md	Updated documentation to reference both Windows and Unix scripts
coverage/lcov.info	Updated coverage data from test runs

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.