Factor out memory order printing
Factor out memory order printing

Hopefully this won't break anything---it does introduce a few checks for
nonsensical attributes (such as ACQ on stores and REL on loads), but I
assume these won't get exercised.

johnwickerson/memalloy,johnwickerson/memalloy,johnwickerson/memalloy