Remove logging from spec and impl for Verifier and update the spec to catch a typo bug wrt github protocol.
Fix the typo bug by passing the current spec.