The Beta Aivin HM-200 can do punk with no worries. I've been using this pedal for metal, rock, blues, pretty much anything for quite some time now and haven't felt the need to replace it with something else so far. To get a punk tone, I just increase the mids and decrease the distortion a little bit. When tweaked enough, it is a very versatile distortion pedal.
For stuff like A7x, I doubt a Boss DS-1 will have enough distortion.