Some more Doxygen cleanup

[ssoelvsten]

Closes #708 and also fixes other issues/formatting with the documentation comments.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 97.037%. Comparing base (abc83ea) to head (7b4427b).
⚠️ Report is 7 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff            @@
##              main      #755   +/-   ##
=========================================
  Coverage   97.037%   97.037%           
=========================================
  Files           99        99           
  Lines         7289      7289           
=========================================
  Hits          7073      7073           
  Misses         216       216           

☔ 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.

[github-actions]

🟡 Regression Test (QBF 'ep_dual/8x8_6_e-8-1_p-2-3_bwnib')

'ssoelvsten/adiar/docs/hide-exec_policy' is a change in performance of 0.60% (stdev: 2.51%).

...	origin/main	ssoelvsten/adiar/docs/hide-exec_policy
Mean	5067.67	5037.33
Standard Deviation	127.03	26.16

Number of samples: 3

[github-actions]

🟡 Regression Test (QBF 'breakthrough/3x4_19_bwnib')

'ssoelvsten/adiar/docs/hide-exec_policy' is a change in performance of -0.28% (stdev: 0.61%).

...	origin/main	ssoelvsten/adiar/docs/hide-exec_policy
Mean	21471.33	21530.67
Standard Deviation	35.64	130.71

Number of samples: 3

[github-actions]

🟡 Regression Test (QBF 'ep/8x8_7_e-8-1_p-3-4_bwnib')

'ssoelvsten/adiar/docs/hide-exec_policy' is a change in performance of -0.54% (stdev: 0.82%).

...	origin/main	ssoelvsten/adiar/docs/hide-exec_policy
Mean	28029.33	28181.33
Standard Deviation	94.65	232.14

Number of samples: 3

[github-actions]

🟡 Regression Test (QBF 'httt/4x4_9_tippy_bwnib')

'ssoelvsten/adiar/docs/hide-exec_policy' is a change in performance of 0.35% (stdev: 0.64%).

...	origin/main	ssoelvsten/adiar/docs/hide-exec_policy
Mean	9016.67	8985.33
Standard Deviation	58.01	28.59

Number of samples: 3

[github-actions]

🟡 Regression Test (Picotrav 'adder')

'ssoelvsten/adiar/docs/hide-exec_policy' is a change in performance of -0.45% (stdev: 0.37%).

...	origin/main	ssoelvsten/adiar/docs/hide-exec_policy
Mean	11949.67	12004.00
Standard Deviation	40.45	45.00

Number of samples: 3

[github-actions]

🟡 Regression Test (QBF 'breakthrough_dual/3x6_10_bwnib')

'ssoelvsten/adiar/docs/hide-exec_policy' is a change in performance of -0.09% (stdev: 0.33%).

...	origin/main	ssoelvsten/adiar/docs/hide-exec_policy
Mean	5088.00	5092.67
Standard Deviation	12.12	16.56

Number of samples: 3

[github-actions]

🟡 Regression Test (12-Queens)

'ssoelvsten/adiar/docs/hide-exec_policy' is a change in performance of -0.62% (stdev: 0.65%).

...	origin/main	ssoelvsten/adiar/docs/hide-exec_policy
Mean	11232.67	11302.33
Standard Deviation	72.75	43.11

Number of samples: 3

[github-actions]

🟡 Regression Test (QBF 'connect4/6x6_11_connect4_bwnib')

'ssoelvsten/adiar/docs/hide-exec_policy' is a change in performance of -0.09% (stdev: 0.28%).

...	origin/main	ssoelvsten/adiar/docs/hide-exec_policy
Mean	11654.00	11664.33
Standard Deviation	32.74	3.51

Number of samples: 3

[github-actions]

🟡 Regression Test (QBF 'domineering/5x5_13_bwnib')

'ssoelvsten/adiar/docs/hide-exec_policy' is a change in performance of -0.22% (stdev: 0.57%).

...	origin/main	ssoelvsten/adiar/docs/hide-exec_policy
Mean	14714.67	14747.67
Standard Deviation	74.59	83.36

Number of samples: 3

[github-actions]

🟡 Regression Test (QBF 'hex/hein_08_5x5-11_bwnib')

'ssoelvsten/adiar/docs/hide-exec_policy' is a change in performance of -0.07% (stdev: 0.19%).

...	origin/main	ssoelvsten/adiar/docs/hide-exec_policy
Mean	16241.33	16252.67
Standard Deviation	14.01	31.66

Number of samples: 3

[github-actions]

🟡 Regression Test (14-Queens)

'ssoelvsten/adiar/docs/hide-exec_policy' is a change in performance of 0.27% (stdev: 0.28%).

...	origin/main	ssoelvsten/adiar/docs/hide-exec_policy
Mean	257355.67	256662.00
Standard Deviation	596.14	720.45

Number of samples: 3

[github-actions]

🟡 Regression Test (Picotrav 'mem_ctrl')

'ssoelvsten/adiar/docs/hide-exec_policy' is a change in performance of -0.03% (stdev: 0.21%).

...	origin/main	ssoelvsten/adiar/docs/hide-exec_policy
Mean	353174.67	353292.33
Standard Deviation	555.59	733.17

Number of samples: 3

[github-actions]

🟡 Regression Test (Picotrav 'arbiter')

'ssoelvsten/adiar/docs/hide-exec_policy' is a change in performance of -4.36% (stdev: 9.98%).

...	origin/main	ssoelvsten/adiar/docs/hide-exec_policy
Mean	68761.67	71761.67
Standard Deviation	678.47	7164.43

Number of samples: 9