Changed verifyer
Changed comments, updated ssl
Whitespace
Updated specs and formatted