Explore generation of `dex` files with `d8`

[propensive]

This seems to require that the classfiles are build with JDK 11 (no later) in order to safely do the conversion.