Implement max_hand_size invariant
Implement misresponse handling