swift234

Split ConstraintSystem::solve() into a top-level and a recursive entrypoint.

NFC, but improves sanity because the two uses had different meanings
for the "bool" result :)

Swift SVN r30177