If he hadn’t made it in, wouldn’t there still have been a play to go since he was brought down by a facemask?
If there's a defensive penalty, the offense gets to run another play. However, the Cards started the play on offense, so I don't know if it applies during a return of an int. I know that on kickoffs and punts, there's a clear line of demarcation when a team switches from being the defense to the offense, but am not sure on turnovers.