8004101: Add checks for method reference well-formedness

Bring method reference type-checking in sync with latest EDR

Reviewed-by: jjg
15 files changed