Как создать более новые версии файлов классов с помощью Scala (50.0 / 51.0)?

Я хочу протестировать новый верификатор байт-кода с проверкой типов с помощью классов, созданных scalac .

scalac в настоящее время выводит файлы классов версии 49.0, но новый верификатор проверки типов является обязательным только с версии 51.0.

Я попытался «предварительно проверить» классы с помощью ProGuard (который фактически преобразовал их в версию 50.0). ), но я не уверен, что новый верификатор просто автоматически вернулся к старому верификатору определения типов.

Как мне преобразовать файлы классов в версию 51.0 (или как узнать, какой верификатор используется при загрузке версии 50.0 class files)?