Deny zero tickets and change the typing of TICKET instruction

Since we have decided to broadly disallow zero tickets, we should implement this policy in protocol. This also means that we need to migrate the old TICKET instruction and make it fallible. To do so, we need to introduce a new variant of this instruction and deprecate the old variant.