Duplicate the hasGitModules assertions with File based assertions

The File based assertions are a weak attempt to understand why those
tests fail in the Jenkins environment, but succeed in my development
environment.