gh-36166: Additions to the bigraded Betti number methods
This pull request expands the functionality of
``bigraded_betti_number()`` methods of a ``SimplicialComplex`` by adding
an additional parameter ``verbose``. The ``verbose`` option increases
verbosity while computing the invariant by printing the subcomplexes
along with their non-trivial homology groups.
This PR is a part of #35640 (GSoC 2023).
### :memo: Checklist
- [x] The title is concise, informative, and self-explanatory.
- [x] The description explains in detail what this PR is about.
- [x] I have linked a relevant issue or discussion.
- [x] I have created tests covering the changes.
- [x] I have updated the documentation accordingly.
URL: https://github.com/sagemath/sage/pull/36166
Reported by: Ognjen Petrov
Reviewer(s): Ognjen Petrov, Travis Scrimshaw
