Implement DataSize for [T; N] using const generics

[alexmaco]

This is more general and more flexible than the fixed sizes already implemented.

The new implementation is gated by a new const-generics feature flag (and the old one is kept for backwards compatibility), as documented.