Add the latest assertion issues

[jmid]

This little PR adds the latest 2 assertion issues to the README.

While at it, it also marks two previous issues as fixed.

[jmid]

CI summary:

• Bytecode trunk aborted domain_spawntree - with Atomic with Fatal error: Failed to create domain #354
• Cygwin 5.1 due to a faulty libgpg-error0 released on Cygwin affecting curl and opam
• Cygwin 5.1 due to a faulty libgpg-error0 released on Cygwin affecting curl and opam
• Cygwin trunk due to a faulty libgpg-error0 released on Cygwin affecting curl and opam
• Cygwin trunk due to a faulty libgpg-error0 released on Cygwin affecting curl and opam
• MinGW bytecode trunk due to a faulty libgpg-error0 released on Cygwin affecting curl and opam
• MinGW bytecode trunk due to a faulty libgpg-error0 released on Cygwin affecting curl and opam
• MinGW trunk due to a faulty libgpg-error0 released on Cygwin affecting curl and opam
• MinGW trunk due to a faulty libgpg-error0 released on Cygwin affecting curl and opam
• linux-s390x-5.2 failed to find a STM Weak test parallel counterexample in 2000 attempts #406

Out of 59 workflows 10 failed with 1 genuine failure, 1 false alarm, and 8 CI related defects

[jmid]

CI summary for merge to main:

• Cygwin trunk aborted in domain_spawntree - with Atomic with Fatal error: Failed to create domain #428
• MinGW bytecode 5.1 unexpectedly found a counterexample in Lin.Internal CList int test with Thread #358
• linux-s390x-5.2 aborted in domain_spawntree - with Atomic with Fatal error: Failed to create domain #428

Out of 36 workflows 3 failed with 2 genuine failure and 1 false alarms