Currently the spec assumes that all the client Verify functions ensure that the client is not frozen. The problem is that the sendPacket function does not call any verify functions. This allows packets to be sent with frozen clients. In the token transfer case, if the packet is never received, the tokens sent are lost since a timeout can never be processed.

We check for this situation in the code. Given that the spec makes a reference to client freezing in 02-client, I think it is ok to add this check into sendPacket.

I also would like this to check to match the proposed change in ibc-go which would prevent users from sending funds on expired clients