Alignment for global variables is incorrect
Currently, all global variables are allocated at offset 0 (https://gitlab.mpi-sws.org/iris/refinedc/-/blob/192811b75740120491749408d93a729b38f49282/theories/typing/adequacy.v#L112), which means that they are aligned to everything. Instead they should be allocated at an arbitrary offset that is suitably aligned for the C type (or max_align_t?).