NFC: Add an entry about banning `@available` on lazy and wrapped properties.
These more accurate diagnostics resulted in source breaks for some projects but the now rejected code would crash when back deployed so it was important to diagnose correctly.