remove require from files

Author: tsammeow

src/infiniteLoops/detect.ts

@@ -1,15 +1,14 @@
 import { generate } from 'astring'
 import * as es from 'estree'
+// @ts-expect-error
+import runAltErgo from '@joeychenofficial/alt-ergo-modified'
 
 import { simple } from '../utils/walkers'
 import { InfiniteLoopError, InfiniteLoopErrorType } from './errors'
 import { getOriginalName } from './instrument'
 import * as st from './state'
 import { shallowConcretize } from './symbolic'
 
-// eslint-disable-next-line @typescript-eslint/no-require-imports
-const runAltErgo: any = require('@joeychenofficial/alt-ergo-modified')
-
 const options = {
   answers_with_loc: false,
   input_format: 'Native',

src/modules/loader/loaders.ts

@@ -118,10 +118,7 @@ export const memoizedGetModuleDocsAsync = getMemoizedDocsImporter()
   webpack so that webpack doesn't try to compile them away.
 */
 const bundleAndTabImporter = wrapImporter<{ default: ModuleBundle }>(
-  typeof window !== 'undefined' && process.env.NODE_ENV !== 'test'
-    ? (new Function('path', 'return import(`${path}?q=${Date.now()}`)') as any)
-    : // eslint-disable-next-line @typescript-eslint/no-require-imports
-      p => Promise.resolve(require(p))
+  new Function('path', 'return import(`${path}?q=${Date.now()}`)') as any
 )
 
 export async function loadModuleBundleAsync(