Modify PyROS CardinalitySet documentation and solver output log intro

[shermanjasonaf]

Summary/Motivation:

Tweak the PyROS CardinalitySet class docstring and the PyROS solver output log introductory section. Update the logging example in the PyROS online documentation, noting that more time and iterations are required due primarily to #3817.

Changes proposed in this PR:

See summary.

AI-Use Disclosure

• AI tools were NOT used during the preparation of this PR

Legal Acknowledgement

By contributing to this software project, I have read the contribution guide and agree to the following terms and conditions for my contribution:

1. I agree my contributions are submitted under the BSD license.
2. I represent I am authorized to make the contributions and grant the license. If my employer has rights to intellectual property that includes these contributions, I represent that I have received permission to make contributions and grant the required license on behalf of that employer.