add quotient ring check to normal.lib

(without the incorrect ASSUME in getOneVar).
May contain other incorrect ASSUME statements (but all tests should pass)