Shenandoah: reconsider verifier memory ordering

Shenandoah verifier uses lots of atomic operations. Unfortunately, Hotspot's default for atomic operations is memory_order_conservative, which emits two-way memory fences around the CASes at least on AArch64 and PPC64.

In most cases, that is excessive for verifier, and "relaxed" would do.