[PAdic] More test, fixed another "feature"

in henselApproximation