Refresh cart right after cart_change event (fix #716)

Refresh the cart with high priority after CART_CHANGE event, so that other listeners are dealing with an updated cart. Fix #716.