Comedy=Tragedy+Time.
Is someone getting abused bad? Yes it is. Does that mean it can't be funny under the right circumstances? No. Even from an early age, comedy is bad things happening to other people(gettin hit in the nuts, people stepping on rakes, etc). So I dont think Rando was overstepping any bounds with his joke, he wasn't specifically targeting Happy(If he saids something more like "Happy should get beaten", I'd say it'd warrant a ban(I believe the first guy said something similar)). But no, I dont think this is a ban worthy offense at all