Investigate spec/TCK changes for Java record support

Java records have been generally available as of Java 16. We should determine whether there are any spec changes necessary to supporting them consistently and update the TCK accordingly. Since we would like to target LTS versions of Java, this would necessitate bumping the JDK required for running the TCK to Java 17.