Write a tactic `rewrite_assoc` that performs rewriting mod associativity of composition.

[EdAyers]

Seems like a net win and it doesn't have to be a full-blown monster tactic like tidy.

[Vtec234]

Can assoc_rewrite do it?

[b-mehta]

Oh nice! This looks exactly like what we wanted