Load ABCs if the verifier needs them.
Merge pull request #196 from mbebenita/master

Verifier fixes.