faster quo_rem for valuations
fixed scalar multiplication for padics
rewrote valuations to use iterators for speed