I'm a DM. In fact, my actual DM was a player in a campaign I've run. I allow characters to attempt anything, and assign a difficulty based on, well, difficulty. A grappled creature can cast, if it is not further impeded. As I've said before, the choke requires actually two grapples: a normal one...