verify
fun verify(module: LlvmReviewModuleIndex, beforeFinalOptimization: LlvmReviewModuleIndex, config: BitcodeTransformsConfig, compilerObservations: List<LlvmCompilerFunctionObservation> = emptyList(), analyzerEntryPoints: List<String> = emptyList(), harness: GeneratedHarnessLlvmContractResult? = null): LlvmFunctionContractReport