Fix `with` verified double verification to work with new `any_args` semantics.
Update `any_args` docs to explain splat semantics.