D-modules, finiteness theorems, and Poisson (co)homology