v0.0.3
v0.0.3
This release adds opt-in hashed verification. This can dramatically
accelerate verification and reduce resource consumption. It skips
verification of certain esoteric type changes, though, so it should only
be used when that is an acceptable tradeoff.