I tried out Miner's Fervor II and V but the tool seems to mine at the same speed as without enchantments.
Tried with different tools and blocks including obsidian but the result was the same. Efficiency V was many times faster in mining obsidian.

Seems to have been a porting lib issue, should be fixed now