The LayoutVerified type wraps a byte slice reference. It is a witness type that guarantees that the length and alignment have been validated to be compatible with a type parameter, T. It's named based on this witness role (the layout has been "verified"), but the name is confusing for consumers. We should rename it to Ref or similar - it's a reference type that enables zero-copy operations, hence zerocopy::Ref.