Well that's not surprising, PushShift is probably the biggest / most common way to get realtime access to reddit.
API violations aside, pushshift would have allowed developers to side step the reddit api restrictions anyway so I don't know how this relationship could have continued.