It should be possible to install a class file transformer in to a module class loader at module load time. This would be part of the ModuleSpec. The transformer, if present, would be used by the MCL when classes are defined (no redefinition support).
This would allow at least basic support for e.g. ByteMan without requiring instrumentation.