Text this: Pseudo-finite hard instances for a student-teacher game with a Nisan-Wigderson generator