Clang tidy fixes merge

Another set of clang-tidy fixes + some other:

• RandomAutomatonFactory::ithAccessibleState always selected 0th state.
• Environment::getGlobalScope, (not used yet) contained infinite recursion.
• Enable more compiler warnings
• Set clang-tidy to be quiet