Tests for SCL-7202
Added Variance checks for type bounds
Added tests for variance of type bounds