I know some diffing libraries are reluctant to do this for perf reasons, but many of them do not handle cycles correctly leading to potential infinite loops based on the shape of the objects and order of arguments.

Fast is great, but unless you know that your data doesn't have cycles, infinite loops take a long time :)