Replaced a bad allocator CHECK with a TODO.