remove debug code
define LOUD_DET_BOUND in .c not in .h
new subroutine mpz_shift_right_1limb()