In my attempt to update Proxy invocation handler dispatching specification, I noted that there are some significant behaviors not covered by specs, such as Object protected methods and covariant overrides in interfaces. We should add some unit tests so that we are at least aware of these behaviors.