Fix boolean logic so verify_env has meaning

"not A or not B or not C" will always result in True.  not (A or B or C) seems to be what was intended.