Reg tests now work
Fix a bug in the branch -- that DNS proofs weren't handled properly