feat: add cross-platform native library smoke tests

[iamchorchos]

Summary

Add native pbivnorm support for macOS Intel (x86_64) and Apple Silicon
(aarch64), including release packaging and native smoke tests.

Add an explicit Linux CI assertion that verifies
native/linux-x86_64/libpbivnorm.so is present in the core JAR. README now
states that Windows x86-64, Linux x86-64, macOS Intel and macOS Apple Silicon
are supported and validated in CI.

Validation

• Ran git diff --check.
• Reviewed native-loader mappings for macOS, Intel and ARM64.
• Added JAR-content assertions for Windows, Linux and macOS native libraries.
• macOS CI builds and tests native dylibs on macos-13 and macos-14.

Checklist

• I kept the pull request focused and reviewed my own diff.
• I ran ./mvnw verify.
• I added or updated tests for changed behavior.
• I updated public documentation when required.
• I documented the source and tolerance of new numerical reference data. Not applicable.
• I verified that new code, data and dependencies have compatible licenses.
• I did not commit secrets, generated build output or local configuration.

[codacy-production]

Up to standards ✅

🟢 Issues 0 issues

Results:
0 new issues

View in Codacy

🟢 Coverage ∅ diff coverage · +0.00% coverage variation

Metric	Results
Coverage variation	✅ +0.00% coverage variation (-1.00%)
Diff coverage	✅ ∅ diff coverage

View coverage diff in Codacy

Coverage variation details

	Coverable lines	Covered lines	Coverage
Common ancestor commit (c2f9b47)	1672	1532	91.63%
Head commit (e0658a5)	1672 (+0)	1532 (+0)	91.63% (+0.00%)

Coverage variation is the difference between the coverage for the head and common ancestor commits of the pull request branch: <coverage of head commit> - <coverage of common ancestor commit>

Diff coverage details

	Coverable lines	Covered lines	Diff coverage
Pull request (#21)	0	0	∅ (not applicable)

Diff coverage is the percentage of lines that are covered by tests out of the coverable lines that the pull request added or modified: <covered lines added or modified>/<coverable lines added or modified> * 100%

AI Reviewer: first review requested successfully. AI can make mistakes. Always validate suggestions.

_{TIP This summary will be updated as you push new changes.}