$K$-theory associated to vertex operator algebras