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 [ocaml5-issue] Windows trunk bytecode domain_spawntree crash or deadlock #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 STM Weak test parallel fail to trigger on s390x #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 [ocaml5-issue] Fatal error: Failed to create domain on s390x, MinGW, Cygwin, ... #428
• MinGW bytecode 5.1 unexpectedly found a counterexample in Lin.Internal CList int test with Thread Lin.Internal Thread int CList test finds unexpected counterexample under bytecode #358
• linux-s390x-5.2 aborted in domain_spawntree - with Atomic with Fatal error: Failed to create domain [ocaml5-issue] Fatal error: Failed to create domain on s390x, MinGW, Cygwin, ... #428

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