Wrong order of fields/missing fields in serialisation instances

Sometimes, when the code is polymorphic, it's very easy to use the wrong order of fields:

```haskell
data User = User
{ userName :: !Text
, userAge :: !Int
}

instance Binary User where
put User{..) = put userAge >> put userName
get = User <$> get <*> get
```

The issue names no files, tests, or entry points. Start by locating the serialization-instance analysis and its tests, then use the User example to establish expected diagnostics for wrong ordering and missing fields.

Written by the indexing model from the issue text.