Refactor write to file of LLVM module moving it to Module

[dmakarov]

Motivation

Dependency on llvm::Module is convoluted, requiring mutable references. This change moves the function that writes LLVM module to a file into the Module implementation, simplifying dependency on llvm::Module.

Test Plan

Non functional change, all tests should pass.