Refactor our creation of CFFI FFI and libraries slightly.

Centralize everything for ease of use.
Update test for new API
Also switch to the explicit verifier construction approach, so the diff for disabling implicit compile is even shorter
Merge pull request #1441 from alex/refactor-cffi-compilation

Refactor our creation of CFFI FFI and libraries slightly.