Faced with the unpalatable conclusion that the U.K.’s free-trade deal with Australia would further harm Brexit-hit Northern Ireland, Boris Johnson’s officials simply changed how they crunch the numbers.