Load ABCs if the verifier needs them.