rts: Statically assert and 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.

Fixes #22965 (closed). Fixes #22975 (closed).