I can't speak for what Sarah uses, but the CC65 compiler suite is quite suitable for developing for bank switched cartridges, regardless whether you code in C or machine code.
