Added utility method: underlyingSymbol
Initial versions of Variances and CheckVariances

Not yet integrated or tested.
Removed CheckTrees

It was unmaintained and superseded by TreeChecker. The only needed bit,
escapingRefs, got moved to Typer.
Two variance-related fixes in Desugar

1) Type parameter accessors inherit their variance from the type parameter
2) Copy method parameter defaults are annotated @uncheckedVariance. This is
necessary because default methods will be checked for variance.
Enabled variance checking

Variance checking is now run as part of type-checking.

Fixed tests that exhibited variance errors. Added tests where some classes of
variance errors should be detected.
Updated comment