Expand on Lin Bytes test and add stress test

[jmid]

While looking at #520 I noticed the long-running Lin Bytes test contains only few of the Bytes module binding.
This PR adds a bunch more.

Adding these seem to have a positive effect on quickly reducing a counterexample, when I run this locally.
As such, it may help resolve #520.

While at it, the PR also adds a Lin stress_test of these many bindings (now well beyond what src/bytes/stm_tests.ml covers).

[jmid]

CI summary

• Cygwin trunk timed out while shrinking in Lin Bytes test with Domain after 10633.5 secs(!) Timeout due to excessive shrinking in Lin Bytes test with Domain on Cygwin #520

Out of 34 workflows 1 failed with a false alarm

[jmid]

Force pushed a dummy change to trigger a test rerun, as the Cygwin workflows seem to have now settled from whatever was troubling them... 🤔

[jmid]

CI summary for 0cada98

• MSVC bytecode trunk failed to find a counterexample for Lin Bytes test with Domain in 2500 iterations

[jmid]

2777159 thus bumps the count to 5000

[jmid]

CI summary for 2777159

• musl trunk failed with dummy found! in Lin Dynarray stress test with Domain [ocaml5-issue] dummy found! in Lin Dynarray stress test with Domain on musl trunk #528

Out of 34 workflows 1 failed with what may be a genuine error

[jmid]

As the Lin Bytes test is working nicely - and since the Lin Dynarray test failure is unrelated, I'll go ahead and merge this.

[jmid]

CI summary for merge to main: all 35 workflows passed