Describe bit validity and padding for primitive types #1291

Though it's generally understood to be the case, the type layout page of the reference doesn't explicitly guarantee that, for each primitive type, T:

• All bit patterns are valid instances of T
• All of the bytes of T are guaranteed to be initialized (none of them are padding)