Add option --noiotest to suppress execution of IO properties. This makes testing of foreign code safer...