I'd be careful of the first two - there are trade-offs to making them into martyrs. Doesn't mean it shouldn't be done, but we need to consider carefully the trade-offs and evaluate the pros and cons of doing each.

Totally on board with discrediting them and making fun of them publicly.

Between these two - what we can call the "hard" pole and the "soft" pole - I'd suggest a "middle" course of putting up barriers to their ability to make an impact. For example, if a radical imam is identified, we can have super-steep fines for each instance of radicalizing speech. Or we can revoke permits for them to have a mosque. Or we can have attacks on the blogs of radical muslims. This has the benefit of making it much less likely for them to be perceived as martyrs, and if they complain they can be easily portrayed as whiners and sore losers.