feat(Schonhage): execute native queried thin matrix products - #1615

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

`Cslib.Algorithms.WordRAM.ThreeSum.ChanHe.Search.good` is `Cslib.Algorithms.WordRAM.ThreeSum.ChanHe.CollisionTest.good` (Complexity/Algorithms/WordRAM/ThreeSum/ChanHe/CollisionTest.lean:44) applied to its arguments: a second name for an existing notion. Advisory only; see the job summary.

`Cslib.Algorithms.WordRAM.ThreeSum.ChanHe.Search.modulus` is `Cslib.Algorithms.WordRAM.ThreeSum.ChanHe.CountCall.modulus` (Complexity/Algorithms/WordRAM/ThreeSum/ChanHe/CountCall.lean:52) applied to its arguments: a second name for an existing notion. Advisory only; see the job summary.