This commit concludes migration of `smack-extensions` module, from JUnit4 to JUnit5.
Fixes SMACK-824.