Document the verify feature and bump spec