When I freeze package cycles into the store, I noticed that it uses the same format as is used on the console. This means that when the output gets too large, it will omit violations.
I've remedied this for now with cycles.maxNumberOfDependenciesPerEdge=5000 but it seems odd to me that the frozen format doesn't do this automatically.