rewrite kind.cc for kind.test
kind binary should not work one formula at a time as we do in
src/ltltest/kind.test. Starting valgrind that many times is slow.
kind so that it reads a file with all the formulas and the expected answers, and process all of them.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information