Make the hardened user-copy code depend on having a hardened allocator