According to LangRef "align must be explicitly specified on atomic stores,
and the store has undefined behavior if the alignment is not set to a value
which is at least the size in bytes of the pointee."
It would be useful to detect optimization introducing the undefined behavior
in verifier. By default the check is off and can be enabled by