superfluous boolean
removed unverifyWatchList, was just eatom mask (saves 400 of 1000 seconds in one testcase)

plus a tiny optimization for getWatchedLiteral (and a failed optimization attempt for the same function)