Added autotest.sh -p option
Some cleanups in freduce -inv mode (and switched from -noinv to -inv)