Free result memory after running the benchmarks
Free result memory after running the benchmarks

Previously we would happily keep leaking, leading to OOMs on a few of
our benchmarks.

google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang