[lworld] RFR: 8349945: Implement strict static fields (proposed JVM feature)

[Matias Saavedra Silva]

This patch enables and implements verification for fields with the ACC_STATIC and ACC_STRICT modifiers. To enforce strictness on static fields, the reads and writes on the field are tracked dynamically to ensure that the field is written before being read and written to before.

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

Commit messages:
 - Added tests
 - 8349945: Implement strict static fields (proposed JVM feature)

Changes: https://git.openjdk.org/valhalla/pull/1465/files
  Webrev: https://webrevs.openjdk.org/?repo=valhalla&pr=1465&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8349945
  Stats: 791 lines in 31 files changed: 763 ins; 1 del; 27 mod
  Patch: https://git.openjdk.org/valhalla/pull/1465.diff
  Fetch: git fetch https://git.openjdk.org/valhalla.git pull/1465/head:pull/1465

PR: https://git.openjdk.org/valhalla/pull/1465