Fix abstract method workarounds.
Fix virtual method invoke workarounds.
Fix overload workaround.

This also fixes test 0020.