Blockchain security services have been a significant focus for venture capitalists. CertiK wants to make its security audits and verification