Sanity Check has high performance impact.

[MaZiFAU]

This "sanity check":

MMT/src/frameit-mmt/src/info/kwarc/mmt/frameit/communication/server/ConcreteServerEndpoints.scala

Line 225 in 297b0e1

require(state.check().isEmpty, "Situation space doesn't typecheck after scroll application, " +

incurres a high performance impact (about x60 compared without check, e.g. with "http://mathhub.info/FrameIT/frameworld?RiverScrollSimple") amounting to several seconds (e.g. 12.2s vs 0.2s).

There seem to be no consequences of commenting it out when everything type-checks.