The module of vector-valued modular forms is Cohen-Macaulay - Richard Gottesman (2019)