Implement `IsTransitivelyReducedDigraph`

[james-d-mitchell]

This would return true if the input digraph D satisfies D = DigraphTransitiveReduction(D), but should be implemented in a similar way to IsTransitiveDigraph.