Update ARM-9 to indicate it's withdrawn.

No activity on this as an independent proposal, plus its
scope was subsumed into ARM-8 about dependency injection.