migrate to jspecify annotations (was checker framework) #4910

All 10 513 437 tests pass in 2h 53m 4s

10 513 437 tests ±0 10 513 437 ✅ ±0 2h 53m 4s ⏱️ + 1m 47s
1 051 suites ±0 0 💤 ±0
1 051 files ±0 0 ❌ ±0

Results for commit 895c229. ± Comparison against earlier commit 7033154.