Add unit tests for bug 8583; restore 16-byte aligment on x64

This adds unit tests for the alignment fix to Slot, ensuring the two
declarations of an AA slot stay in sync. The 16-byte alignment rule for
x64 has been restored.