[uss_qualifier] check off DSS0215 and DSS020 for subscriptions (partial)

[Shastick]

DSS0215 (Write to DAR before returning to caller) and DSS020 (access to any DSS yields same results) can easily be partially covered by the existing subscription synchronization check.

This covers the 'broadcast' part (write on main, query secondaries) of the subscription synchronization checks.

Missing coverage is tracked in #434

[BenjaminPelletier]

The content of this PR looks good to me, but the auto-generated suite documentation seems to perhaps only be reflecting one of the associated requirements and ignoring other associated requirements since a lot of requirements previously indicated as being checked by the suite are removed in this PR. I think we'll need to fix that presumed bug before we'd want to apply this change so as to avoid losing indicated coverage in the auto-generated documentation

[Shastick]

The content of this PR looks good to me, but the auto-generated suite documentation seems to perhaps only be reflecting one of the associated requirements and ignoring other associated requirements since a lot of requirements previously indicated as being checked by the suite are removed in this PR. I think we'll need to fix that presumed bug before we'd want to apply this change so as to avoid losing indicated coverage in the auto-generated documentation

Interesting. Might that be due to the fact that two of the requirements are mentioned in a markdown list?

I'll try to mention these without a list to see if it fixes it.

edit: @BenjaminPelletier indeed, removing the markdown list (as done in this commit) results in the requirements being taken into consideration again.

edit2: Bug tracked in #561

edit3: it seems we have some flaky RID tests again. Tracking this in #563