If the UnsafePointer work lands then we should add to the ffi-audit a verification that Pointer is never used for memory that Pony didn't allocate.
If the UnsafePointer work lands then we should add to the ffi-audit a verification that Pointer is never used for memory that Pony didn't allocate.