rename proof_clz.py -> test_clz.py so it's run by pytest