feat: Add the mangle-symbols feature

[xdoardo]

As per title.

[Robbepop]

@xdoardo Thank you!

I made a small mistake when I told you that it would be best to enable this feature by default. I think it is better to disable it by default.

Formatting check can be satisfied by quickly running: cargo +nightly fmt.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 81.58%. Comparing base (c472297) to head (e87de7b).
Report is 3 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #1312   +/-   ##
=======================================
  Coverage   81.58%   81.58%           
=======================================
  Files         306      306           
  Lines       25271    25271           
=======================================
  Hits        20617    20617           
  Misses       4654     4654           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

---

🚨 Try these New Features:

• Flaky Tests Detection - Detect and resolve failed and flaky tests

[Robbepop]

Thanks a lot for this work! LGTM