Before removing ServiceUtil::visible_oop, i'd like to be 100% sure it is not needed. Asserts when it returns false will make it obvious if the assumption is incorrect, where-as blindly removing the code could lead to hard to debug issues if the assumption is incorrect.

If the asserts are not triggered after a couple of weeks of testing, then ServiceUtil::visible_oop can be removed.