Does Bean Validation integration need to be optional for 3.1?

[Azquelt]

When we added Bean Validation integration in #482, we assumed that Bean Validation would be included in MicroProfile.

We're now not expecting that to be the case when we release MP OpenAPI 3.1. Do we need to make the Bean Validation integration only applicable on runtimes which support bean validation?

I imagine we would:

• Reword the spec language to indicate that integration is required if Bean Validation is present
• Add the Bean Validation integration tests to a test group so that they can be easily excluded
• Add documentation to the tck readme for disabling the Bean Validation tests for runtimes which do not support Bean Validation