Create only a single FFI, with one call to verify().

This calls ffi.verify() only once, and avoids calls to ffi.include().