Nisan-Wigderson generators in proof systems with forms of interpolation