Warn when FK and navigation nullability are inconsistent #27925
Description
That is, when a navigation is required, but the FK is optional, or vice versa. This only applies when NRTs are being used, since otherwise the navigation nullability does is not a good indicator of whether or not the relationship is required.
See #27859.