Add verification tests
Add DSA verification docs