Do just 1 pass over the heap in verify_dynamic_space()