Well, Rational Rose (bought by IBM not too long ago, I believe) is pretty much the state-of the art from what I understand; though it probably fails at least half of your criteria (most especially the "cheap" one
)
I haven't seen anything better than Argo/Poseidon in open source land, then again, I don't do that much with UML.