Romans threatening to throw someone to the lions is a running gag in Asterix. How common was it really as a punishment, and for what crimes would it be proscribed?