I think that you need to sit your friend down and have a very serious talk with him.

Tell him exactly what you wrote above. Do not be afraid to let him know how this girl treated you and made you feel, you are traumatised and want nothing to do with her ever.

You are not obligated to be her friend - let alone have anything to do with her. The fact that you feel the need to take revenge shows that this girl has had a very toxic and damaging effect on you.

To engage with her now in ANY capacity will just suck you right back into her toxicity, which is the really the last thing you need. Just completely ice her out, ignore her and avoid her as much as possible.

If he cares at all about you, he will understand and hence will not bring the two of you together. Just be prepared that he may also side with her and drop you altogether.

If this does happen, he was not your real friend in the first place. But yes, you really should tell him.