I decided so as they only make things more complicated for miri. As we have
mature builder and parser structs guaranteeing alignment, we do not have to
create additional confusion. These align(8) markers do not have value-add
here besides being informational.
They are only useful if no crazy pointer magic is involved and Rust constructs
these types "in the Rust-typical way".