Fix/check ignored test

[PaulKlint]

The body of ignored test functions was currently ignored during typechecking. They are now always checked.

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 46%. Comparing base (c381470) to head (5b96142).
⚠️ Report is 4 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##              main   #2648   +/-   ##
=======================================
  Coverage       46%     46%           
- Complexity    6660    6670   +10     
=======================================
  Files          795     795           
  Lines        65878   65878           
  Branches      9870    9870           
=======================================
+ Hits         30662   30681   +19     
+ Misses       32844   32822   -22     
- Partials      2372    2375    +3     

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

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.