A regulatory filing shows Buffett has raised his stake in domain-name-registry company VeriSign.