VeriTile has moved to veriinfra-lab.github.io/VeriTile/.