Lin Dynarray tweaks + add Lin.{seq_small, array_small, list_small}

[jmid]

As the investigations in #514 revealed this is caused by shrinking long sequences generated.
Simply generating smaller sequences seems the simplest solution at this point.

This PR therefore

• adds Lin.{seq_small, array_small, list_small} (for consistency)
• switches the Lin Dynarray to use the Lin.seq_small

Fixes #514

[jmid]

CI summary: all 34 workflows passed - merging

[jmid]

CI summary for merge to main

• Bytecode trunk failed to find a counterexample in Lin Bytes test with Domain Lin Bytes negative test fails to trigger #518
• Cygwin trunk timed out while shrinking in Lin Bytes test with Domain Timeout due to excessive shrinking in Lin Bytes test with Domain on Cygwin #520

Out of 35 workflows 2 failed with false alarms