Use StreamWriter or BufWriter in HLO serialization

[BradenEverson]

As is, we serialize to HLO using a lot of string construction. This is good for testing and the quick prototype I wanted to make of this, but we really shouldn't be using all of these unnecessary Strings. As such, we should instead look to using a streamed writing API instead