One point raised on python-dev was that the "verification" aspect is an odd thing to focus on when naming the constructs at the API creation level. It makes sense as a contrast to the lack of type safety when using the ABI directly, but that's mostly a historical artefact of the transition from ctypes rather than being especially meaningful in the long term.
My alternate suggestion:
- cffi.verify -> cffi.create_api
- cffi.verifier -> cffi.api_creation
- cffi.verifier.Verifier -> cffi.api_creation.APICreator