Jack Smith finally ends a $90 million legal assault on Trump, but leaves vexing DOJ issue unsettled