@stevedv.eth
Since all casts are public data, there’s never going to be a proper block function.
At best muting does as you describe, hides them entirely on Warpcast. Should you use a different client, they’ll reappear.
If he’s malicious in his spam I would report the worst ones first then mute for peace of mind.