RFR: 8361447: [REDO] Checked version of JNI Release<type>ArrayElements needs to filter out known wrapped arrays [v2]

[David Holmes]

> The original PR (https://github.com/openjdk/jdk/pull/26123) had incorrect usage of `SafeFetch32`. This PR replaces that with the use of `os::is_readable_range` as proposed by @tstuefe  (thank you!). In addition I found that code was no longer getting exercised by the regression test so I added a gtest for that (during which it was discovered that the new implementation in `verify` requires any gtest that uses it to be `TEST_VM` rather than `TEST`).
> 
> Testing: tiers 1-4
> 
> Thanks

David Holmes has updated the pull request incrementally with one additional commit since the last revision:

  Review comment - remove extra blank lines

-------------

Changes:
  - all: https://git.openjdk.org/jdk/pull/26177/files
  - new: https://git.openjdk.org/jdk/pull/26177/files/87b5dd88..de418b1b

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=26177&range=01
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=26177&range=00-01

  Stats: 2 lines in 1 file changed: 0 ins; 2 del; 0 mod
  Patch: https://git.openjdk.org/jdk/pull/26177.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/26177/head:pull/26177

PR: https://git.openjdk.org/jdk/pull/26177