sepcomp: move out opt_substitute_monomorph from compile_module_to_c