Similar to GPUBuffer.destroy() and GPUTexture.destroy(), should it also be possible to release pipeline resources with more control, rather than relying solely on the garbage collector?