testing doc generation
test verify , broken
signer and checker still not working , more work