Added TODO for testing 3rd-party verifiers.
Rename annotations per code review with Ian. Verifier names are left as-is.