Check the base address against the element alignment rather than stride

Stride is the gap between elements, not the alignment that each element must satisfy (stride need not even be a power of two).

Author: stephentyrone

stdlib/public/core/UnsafeRawBufferPointer.swift.gyb

@@ -781,7 +781,7 @@ extension Unsafe${Mutable}RawBufferPointer {
     }  
 
     _debugPrecondition(
-      Int(bitPattern: base) % MemoryLayout<S.Element>.stride == 0,
+      Int(bitPattern: base) & MemoryLayout<S.Element>.alignment-1 == 0,
       "buffer base address must be properly aligned to access S.Element"
     )
 
@@ -841,7 +841,7 @@ extension Unsafe${Mutable}RawBufferPointer {
         return .init(start: nil, count: 0)
       }
       _debugPrecondition(
-        Int(bitPattern: baseAddress) % MemoryLayout<C.Element>.stride == 0,
+        Int(bitPattern: baseAddress) & MemoryLayout<C.Element>.alignment-1 == 0,
         "buffer base address must be properly aligned to access C.Element"
       )
       _precondition(
@@ -866,7 +866,7 @@ extension Unsafe${Mutable}RawBufferPointer {
     }
     _internalInvariant(_end != nil)
     _debugPrecondition(
-      Int(bitPattern: baseAddress) % MemoryLayout<C.Element>.stride == 0,
+      Int(bitPattern: baseAddress) & MemoryLayout<C.Element>.alignment-1 == 0,
       "buffer base address must be properly aligned to access C.Element"
     )
     var iterator = source.makeIterator()
@@ -928,7 +928,7 @@ extension Unsafe${Mutable}RawBufferPointer {
       return .init(start: nil, count: 0)
     }
     _debugPrecondition(
-      Int(bitPattern: baseAddress) % MemoryLayout<T>.stride == 0,
+      Int(bitPattern: baseAddress) & MemoryLayout<T>.alignment-1 == 0,
       "buffer base address must be properly aligned to access T"
     )
     _precondition(