coding style
moved an Assert from Horrocks to SuslinLemma
SuslinLemma now takes care of setting IsRightInvertibleMatrix

an no longer Horrocks
issue an Error instead of Assertion failure in Horrocks

if the ring is not univariate