Added assertion statements in Ring::syzygy routines, changing behavior slightly.

The second argument of this routine is not allowed to be 0.  Also,
unit tests for QQ, ZZ, ZZ/p, RRR, CCC have been added.