pub fn verify(
    current_function_opt: Option<FunctionDefinitionIndex>,
    code: &CodeUnit
) -> PartialVMResult<()>