testrunner.py: set default NWORKERS to 4