Symbolic Extensions of Amenable Group Actions and the Comparison Property