Added ASSERTs to ETA.TypeCheck.TcInstDcls
Added ASSERTs to ETA.TypeCheck.TcInstDcls

pparkkin/eta,pparkkin/eta,AlexeyRaga/eta,pparkkin/eta,AlexeyRaga/eta,AlexeyRaga/eta,AlexeyRaga/eta,rahulmutt/ghcvm,rahulmutt/ghcvm,pparkkin/eta,pparkkin/eta,rahulmutt/ghcvm,rahulmutt/ghcvm,AlexeyRaga/eta,rahulmutt/ghcvm