Patched _solve_triu and _solve_tril; beefed up the tests

[JohnAAbbott]

The patches change just 2 lines, but I renamed the args to _solve_tril! so that they correspond to the "doc" in the comment right before the function (and also coherent with _solve_triu). The tests are now with 3x3 matrices since the old buggy code happened to work with 2x2 matrices.

[JohnAAbbott]

I note that currently the documentation for _solve_triu is in AbstractAlgebra; in particular near line 3498 in the file src/Matrix.jl there is the following:

# Remove the following once Nemo is adjusted
_solve_triu_right(M, b; unipotent = false) = _solve_triu(M, b; unipotent, side = :right)

There is apparently no documentation for _solve_tril!

[codecov]

Codecov Report

❌ Patch coverage is 93.75000% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 88.17%. Comparing base (222f2e1) to head (95f986c).
⚠️ Report is 3 commits behind head on master.

Files with missing lines	Patch %	Lines
src/flint/fmpz_mat.jl	93.75%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #2177      +/-   ##
==========================================
- Coverage   88.17%   88.17%   -0.01%     
==========================================
  Files          99       99              
  Lines       37181    37189       +8     
==========================================
+ Hits        32786    32793       +7     
- Misses       4395     4396       +1     

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

[JohnAAbbott]

Not sure why this was still a draft -- now changed to standard PR.