intersectsAABBCoherently

Runs the cheap enclosing-AABB rejection and the exact SAT test against the same pose. Callers must not compose the two public predicates themselves while update can publish off-thread.