Document the nullable pointer optimization in the FFI guide

Closes #8748