icode: add automatic tests for virtual type parameters in methods

Tests are added by the method generate_empty_iroutine of MMSignature
Not that tests are systematic even in the safe case (call on self).

Some unsafe places remain, like parameters in closure definitions or
in unsafe assignments.

test_variance_params is updated to reflect the fix.

Signed-off-by: Jean Privat <jean@pryen.org>