maintainer edit: keep the invariant comments in production code but remove repeated issue background from tests.