Current when linking we ignore the alignment constraints on the layouts of the function descriptor, and instead manually recompute the alignment of the layout.

We should instead reject layouts that have the wrong alignment/carrier combo according to the ABI used for linking.