begn verifier, translation tools, and improved documentation
begin verifier, translation tools, and improved documentation