Prepare for v0.8.0.0 release

[lsrcz]

This pull request does the final checks for the v0.8.0.0 release and fixes the documentation.

[codecov]

Codecov Report

Attention: Patch coverage is 9.83607% with 55 lines in your changes missing coverage. Please review.

Project coverage is 53.68%. Comparing base (dc83395) to head (badd546).

Files	Patch %	Lines
...rc/Grisette/Internal/SymPrim/Prim/Internal/Term.hs	7.69%	47 Missing and 1 partial ⚠️
src/Grisette/Internal/SymPrim/SymFP.hs	0.00%	2 Missing ⚠️
src/Grisette/Internal/SymPrim/AllSyms.hs	0.00%	1 Missing ⚠️
src/Grisette/Internal/SymPrim/GeneralFun.hs	0.00%	1 Missing ⚠️
src/Grisette/Internal/SymPrim/SymAlgReal.hs	0.00%	1 Missing ⚠️
src/Grisette/Internal/SymPrim/SymGeneralFun.hs	0.00%	1 Missing ⚠️
src/Grisette/Internal/SymPrim/SymTabularFun.hs	0.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #248      +/-   ##
==========================================
- Coverage   53.72%   53.68%   -0.04%     
==========================================
  Files         117      117              
  Lines        9892     9892              
  Branches      939      941       +2     
==========================================
- Hits         5314     5311       -3     
- Misses       3639     3640       +1     
- Partials      939      941       +2     

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