Hibernate ORM 7.2 (currently in CR1) introduces Session#statelessWithOptions() for deriving a StatelessSession from a parent Session. This nicely matches our purposes in #7184, so we should use that facility on Hibernate 7.2 (while retaining support with Hibernate 7.0/7.1 at runtime).