Updated formatting for some instruction timing figures