Modify Verifiers to throw exception

A simple yes/no is not very helpful in
solving verification issues. Made Verifiers
throw a Fail exception with more information
on which verifier and node caused the
failure.