Modified Verifiers to throw exceptions instead of returning true/false

I made Verifiers throw a descriptive exception instead of returning true/false.