If workspace_thread is not be big enough to hold all the objcore pointers
that need to be purged we iterate until done.

Fixes #1551