Move InternalReachabilityCheckerTest to tests