v0.1.16

Tokenisation is reproduced for sentencepiece vocabularies too (llama.cpp's algorithm): SmolLM2, Qwen2.5, Llama 3.2 and Gemma 3 all re-tokenise to the runtime's ids, so invar verify --reexec covers a receipt from prompt text to answer for all four families. Static Go verifier binaries attached.