PSParallelCompact::verify_complete is called at the end of full-gc and it verifies certain bookkeeping counters to ensure they are in correct states. An incorrect state always indicates there is sth wrong in full-gc implementation.

Change `log_warning` to `assert` to make the failure more visible. This affects only non-product builds.