Check that converting to tops strings from tops files works.