RFR: Fix handling of weak references during verification

[Roman Kennke]

On Tue, 14 Sep 2021 23:39:13 GMT, William Kemper <wkemper at openjdk.org> wrote:

> This is fallout from our last big merge from upstream. When verifying reachable objects before evacuation during final mark, concurrent reference processing hasn't happened yet. For this reason, verification is required to ignore weak references which hold an unmarked referent (that would be cleared during reference processing). In our last merged, we inadvertently disabled the code to ignore weak references during certain verification phases.

Marked as reviewed by rkennke (Lead).

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

PR: https://git.openjdk.java.net/shenandoah/pull/68