Remove verbose comments

Co-authored-by: Wilson Snyder <wsnyder@wsnyder.org>

src/V3Coverage.cpp

@@ -745,13 +745,6 @@ class CoverageVisitor final : public VNVisitor {
         }
     }
     void visit(AstPropSpec* nodep) override {
-        // A property specification holds a concurrent (temporal) property
-        // expression, which is not a procedural statement context.  Expression
-        // coverage must not inject statements into it, else the injected
-        // references end up outside any procedural context (tripping V3Localize)
-        // or perturb the property so its clock can no longer be resolved.  This
-        // uniformly covers both named 'property' bodies and inline assert/cover
-        // property expressions, regardless of any enclosing labelled begin.
         VL_RESTORER(m_exprStmtsp);
         m_exprStmtsp = nullptr;
         iterateChildren(nodep);