gen-hash-testvecs.py