In particular, check that a Hibernate Search application can be started with Hibernate Search packaged as Java 9 modules, and that no "split package" errors occur.

Not that the modules need to be explicitly defined for this test to make sense; some restrictions are not enforced on unnamed modules (such as the "no split packages" constraint).