Validation of SBML rules for MathML

[SolunarNexus]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 79.17146% with 181 lines in your changes are missing coverage. Please review.

Project coverage is 78.52%. Comparing base (38017e0) to head (dd8d655).
Report is 3 commits behind head on main.

Files	Patch %	Lines
examples/test-suite-syntactic.rs	0.00%	105 Missing ⚠️
src/core/validation/math.rs	82.41%	48 Missing ⚠️
src/core/model.rs	89.41%	9 Missing ⚠️
src/core/validation/mod.rs	90.36%	8 Missing ⚠️
examples/basic_example.rs	0.00%	4 Missing ⚠️
src/core/sbase.rs	87.50%	2 Missing ⚠️
src/xml/impl_xml_property_type.rs	75.00%	2 Missing ⚠️
src/xml/xml_list.rs	93.75%	2 Missing ⚠️
src/xml/xml_wrapper.rs	97.91%	1 Missing ⚠️

Additional details and impacted files

@@             Coverage Diff             @@
##             main      #21       +/-   ##
===========================================
+ Coverage   51.46%   78.52%   +27.06%     
===========================================
  Files          38       40        +2     
  Lines         855     1509      +654     
===========================================
+ Hits          440     1185      +745     
+ Misses        415      324       -91     

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

[SolunarNexus]

I decided to push sanity checks along with the already implemented validation rules (10301 through 10304), as there are only 4 new rules

[daemontus]

I think this is now ready to merge. Not all rules work 100% correctly, but we can fix that later since we now have the test suite.