[Spec] Finished migrating serialization specs