Old assumptions: nonzero == complex & !zero

The previous definition was real & !zero, which matched the new assumptions
and the other "non" assumptions, but for nonzero, complex will likely be more
useful. For example, 1/x makes sense (as a finite number) if x is nonzero.