added some precondition checks to 'primdec.lib'

Added ASSUME statements to check the monomial ordering and that we are not in a quotient ring.

I apologize for the multiple commits - I failed with rebasing. 
I'll be happy if someone succeeds with squashing the changes into a single commit.


Jakob