Parallelize verify CI and drop macOS from test matrix

Fix verify workflow: use PyPy 3.11

Add library-checker verification tests

Fix primitive_root for p=2 and berlekamp_massey edge cases

Improve initial guess for iroot

Update convex_hull.py

Update convex_hull.py

Fix typo

Add "biconnected" definitions to {node,edge}_bcc.py

Fixed typo

Add support for unconnected graphs

Fix PyPy versioning

Update test.yml

Fix typo

formatting