Resolve "Translate test_gas_properties.ml"

closes #150 (closed) Almost complete translation with minor issues still in context_gen that prevent the proofs being done.