Don’t catch `AssertionError` in `getOption`

This caused some tests to fail under the radar, since JUnit asserts were silently logged
and not rethrown. This brings the test suite back to normal and fixes the tests that
were actually failing.
Turn off auto-building, hopefully this makes the test less flaky.
Restore correct selection when region changed at end of selection

Fixes #1002314
Merge pull request #843 from dragos/issue/missed-tests

Don’t catch `AssertionError` in `getOption`
Merge pull request #844 from sschaef/selection-lost

Restore correct selection when region changed at end of selection
Show @return in scaladoc hovers

Fixes #1002312