Freeness of Hecke modules at non-minimal levels