CodeCoverage: Remove Debug assertions

By ccrewrite inserted alien SequencePoints
GetText() receives lots of invalid calls
CodeCoverage: ContractClassFor fixes & refactoring
Merge pull request #335 from ddur/master

CodeCoverage again