The thymoproteasome hardwires the TCR repertoire of CD8+ T cells in the cortex independent of negative selection