use is_in_rref in rref_mul and change test to compare with fflu rather than general method
changed rref_mul to iterate over 16 bit primes rather than pick random larger ones
fixed rref a little