Add (sparse) structs to Fact thrift format

a) Is there any point having the above "unit" tests with this property in place?
b) Is there a better (or more) properties I should be testing?