test for InnerClass and EnclosingMethod attributes

Some parts of the test assert (current) buggy behavior. This is marked
in the test file with TODO. It will be fixed in later work on the
backend.

The test also passes under `-Ybackend:GenBCode` (ran it locally).