CNBC: U.S. can avoid default in July if Treasury can make it through June cash crunch, Congressional Budget Office says