pub fn verify_module<D, F>(
    module: &CompiledModule,
    imm_deps: D,
    imm_friends: F
) -> VMResult<()>where
    D: Fn(&ModuleId) -> PartialVMResult<Vec<ModuleId>>,
    F: Fn(&ModuleId) -> PartialVMResult<Vec<ModuleId>>,