Returns whether to collect only pairs created in the last step. If this returns
true, the pairs that are not collected might still be overlapping. Otherwise, such
pairs are guaranteed to be separated.
Returns whether the pair of proxy1 and proxy2 is overlapping. As proxies can be larger
than the containing AABBs, two proxies may overlap even though their inner AABBs are separate.