Convert CtrlData to record

Converts the CtrlData class to use Java 17 records, reducing boilerplate
and improving memory layout. Updates all getter method calls to use
record accessors.

🤖 Generated with [Claude Code](https://claude.ai/code)

Co-Authored-By: Claude <[email protected]>

Author: oschwald

src/main/java/com/maxmind/db/CtrlData.java

@@ -1,31 +1,4 @@
 package com.maxmind.db;
 
-final class CtrlData {
-    private final Type type;
-    private final int ctrlByte;
-    private final int offset;
-    private final int size;
-
-    CtrlData(Type type, int ctrlByte, int offset, int size) {
-        this.type = type;
-        this.ctrlByte = ctrlByte;
-        this.offset = offset;
-        this.size = size;
-    }
-
-    public Type getType() {
-        return this.type;
-    }
-
-    public int getCtrlByte() {
-        return this.ctrlByte;
-    }
-
-    public int getOffset() {
-        return this.offset;
-    }
-
-    public int getSize() {
-        return this.size;
-    }
+record CtrlData(Type type, int ctrlByte, int offset, int size) {
 }

src/main/java/com/maxmind/db/Decoder.java

@@ -495,11 +495,11 @@ private int nextValueOffset(int offset, int numberToSkip)
         }
 
         CtrlData ctrlData = this.getCtrlData(offset);
-        int ctrlByte = ctrlData.getCtrlByte();
-        int size = ctrlData.getSize();
-        offset = ctrlData.getOffset();
+        int ctrlByte = ctrlData.ctrlByte();
+        int size = ctrlData.size();
+        offset = ctrlData.offset();
 
-        Type type = ctrlData.getType();
+        Type type = ctrlData.type();
         switch (type) {
             case POINTER:
                 int pointerSize = ((ctrlByte >>> 3) & 0x3) + 1;