Makes matrixFactorization perform various checks as it computes.
Functions with optional argument named Check :
layeredResolution(..., Check => ...), see layeredResolution -- layered finite and infinite layered resolutions of CM modules
makeFiniteResolutionCodim2(..., Check => ...), see makeFiniteResolutionCodim2 -- Maps associated to the finite resolution of a high syzygy module in codim 2
matrixFactorization(..., Check => ...), see matrixFactorization -- Maps in a higher codimension matrix factorization