Revert "Revert "model loader #1392: set the visible scope everywhere we can""

This reverts commit 6af5f366b4f9f6ab2d70f5ffdd951bbd58abca30.
Ignored two tests for #1392: visibility of protected constructors

Until the typechecker updates the error messages
Enabled test for #1392: Someone reported being allowed to invoke the protected constructor of `java.util.logging.LogManager`
Fixed test that fails for #1392 now that we set the visibleScope

It should have failed before, I guess.