RFR: Remove assertions constraining card marking for reference processing

[William Kemper]

On Tue, 4 Apr 2023 16:59:59 GMT, Kelvin Nilsen <kdnilsen at openjdk.org> wrote:

> (On the comment: we say failure to dirty the card may result in verification errors. I think it may also result in failure to "take care" of interesting pointers, which can cause GC failures including crashes... Or maybe this is strictly a verification problem, because the reference list is discarded before GC has to deal with these interesting pointers?)

I will update the comment. I think if the verifier can see this, it means the object graph had an old->young pointer that wasn't card marked _at a safepoint_, which could lead to problems for subsequent GC phases or cycles.

-------------

PR Comment: https://git.openjdk.org/shenandoah/pull/241#issuecomment-1496486957