SEC enforcment director Thomsen quits