Use circuitpython 9.2.5 for v4 board stubs (#201)

Author: nateinaction

main.py

@@ -11,10 +11,14 @@
 import gc
 import time
 
-import board
 import digitalio
 import microcontroller
 
+try:
+    from board_definitions import proveskit_rp2040_v4 as board
+except ImportError:
+    import board
+
 import lib.pysquared.functions as functions
 import lib.pysquared.nvm.register as register
 import lib.pysquared.pysquared as pysquared

pyproject.toml

@@ -6,7 +6,7 @@ readme = "README.md"
 requires-python = ">=3.13"
 dependencies = [
     "adafruit-circuitpython-typing==1.11.2",
-    "circuitpython-stubs==9.2.4",
+    "circuitpython-stubs==9.2.5",
     "coverage==7.6.10",
     "pre-commit==4.0.1",
     "pytest==8.3.2",