Switch to throwing an error if zero divisors are encountered during division.
Add an inv and gcdinv functions for ResidueRings and ZZ respectively.
Added mulmod, powmod, euclidean gcd, gcdinv, bezout, fixed various bugs.