It’s not exactly a huge surprise, given the anti-trust brouhaha that the proposal caused in Washington, but Google formally announced that its search deal with Yahoo is over, kaput, deceased,…