Add checks for method reference well-formedness

There are two cases of method references that need to be rejected by the compiler:

*) static bound method references (i.e. new Foo()::staticMethod)
*) static method ref with parameterized qualifier (i.e. Foo<String>::staticMethod)