[Attributor] Simplify how we handle required alignment during heap-to-stack [NFC]

The existing code duplicated the same concern in two places, and (weirdly) changed the inference of the allocation size based on whether we could meet the alignment requirement.  Instead, just directly check the allocation requirement.