Add assertions and introduce _M_free to enable freeing of completely unused blocks (not yet implemented).