Add property generator round-trip test for empty arrays