How does the CPython memory manager (PyMalloc) optimize memory allocation for small objects up to 512 bytes? How is the hierarchy of Arena, Pool, and Block organized, and why is memory freed by Python not always returned to the operating system (malloc vs free)?