added randomized padic arithmetic tests