Clarify alignment requirements

Currently, we rely on `AliasTemporaries` to adjust alignment for allocations in temporary storage, so that proper temporary storage alignment should not be ensured on the user side. This is not documented nor tested, so it's easy to break or introduce new functionality without these guarantees.

We should add tests and document alignment policy for temporary storage.