CodeCoverage: Remove Debug assertions

By ccrewrite inserted alien SequencePoints
GetText() receives lots of invalid calls
CodeCoverage: ContractClassFor fixes & refactoring