swift234

Remove the swift3_migration attribute.

This attribute was a (my) bad idea that we ended up not using. Kill it.