tests: Non-Abelian Dihedral Groups Dₘ via Group Presentation ⟨S|R⟩

[Fe-r-oz]

This PR reproduces the Table 3 of the Lin and Pyradko paper: https://arxiv.org/pdf/2306.16400 for non-abelian Dihedral Groups. The structure, order, group identification of Dihedral groups has also been tested along with n, k parameters.

Since Oscar v1.2.0 has not been released yet, Oscar v1.1.1 will throw GAP.jl CI errors because GAP version is v10.4.0. In this version, GAP does not support multi-threaded garbage collection.

All the results from this Table 3 has been reproduced. I think documentation about this will be added in future as well.

• The code is properly formatted and commented.
• Substantial new functionality is documented within the docs.
• All new functionality is tested.
• All of the automated tests on github pass.
• We recently started enforcing formatting checks. If formatting issues are reported in the new code you have written, please correct them. There will be plenty of old code that is flagged as we are slowly transitioning to enforced formatting. Please do not worry about or address older formatting issues -- keep your PR just focused on your planned contribution.