Draft: Fix alignment of Capability

In #22965 (closed) we noticed that changes in the size of Capability can result in unsound behavior due to the align pragma claiming an alignment which we don't in practice observe. Avoid this by statically asserting that the size is a multiple of the alignment and fix the bug that this found.

Fixes #22965 (closed) on ghc-9.2.