Bivariant $K$-theory and the Weyl algebra