The profinite polynomial automorphism group