Fixed interpretation of (Right False) in rsa/dsa verification.
Added test cases for verifying corrupted data.
erge branch 'pull5'

* pull5:
  Added test cases for verifying corrupted data.
  Fixed interpretation of (Right False) in rsa/dsa verification.