Converted Block-ABI-Apple.txt => Block-ABI-Apple.rst.
Simplify computing debug info type for static member functions.

No (intended) functional change.
[ubsan] Use correct type for compound assignment ops.
[ubsan] Check for appropriate types on compound assignment overflow diagnostics.