make sure the pool size is always reset
make sure the pool size is always reset

[git-p4: depot-paths = "//sw/gpgpu/nvbio/main/": change = 18328966]

NVlabs/nvbio,kimrutherford/nvbio,NVlabs/nvbio,NVlabs/nvbio,kimrutherford/nvbio,kimrutherford/nvbio,kimrutherford/nvbio,NVlabs/nvbio