add mods function in fmpz
add Gram matrix version and with_removals for provable fp is_reduced functions