v0.4.1 — measured weights

Weights are measured from the binary, not tabled by claim kind: how often the expected content occurs in this file and its entropy. Zero padding, a ubiquitous prologue, or a pattern that matches everywhere now weigh ~0 even though they verify; emulation must execute non-degenerate code. Closes the padding exploit a fixed table allowed. evidence.weight_basis shows the numbers. 133 tests. pip install -U reverify