Add NSEC3 NXDOMAIN proof
Fix NSEC3 Proof tests
Rename Proof to VerifyNameError
... and in the tests too