run to fixed point on ambiguity

[nikomatsakis]

the current solver when encountering ambiguity during proving should consider reproving if progress has been made

[shua]

Ah, this may be the issue in #182

[compiler-errors]

If you want to work on that, go ahead, since I'll likely not find time to actually fix this issue