Till justitieråd har utnämnts riksdagens justitieombudsman Thomasson.