The SEC's filing against Nova Labs came just days before Gary Gensler, SEC chair and crypto critic, is set to step down from leading the agency.