[#3125] Generate default ArrayRecord constructors that don't need a
Configuration
[#3126] Deprecate generated ArrayRecord constructors that take a
Configuration argument