Clarify stack frame alignment for function calls.

Previously, the moment at which the stack needs to be aligned to 16 (32 or 64) bytes could be interpreted as both before and after the call instruction is executed. This commit attempts to make this clearer, by stating explicitly that the alignment is required immediately before the call instruction.