As per this survey, RedGate SQL Compare is one of the best SQL comparison tools on the market. I downloaded a trial today. It works fast, produces safe synchronization scripts wrapped in transaction, and is generally cool.
I did, however, stumble upon a stored procedure that it marked as “different”, although it could not show a single difference between two databases. Applying synchronization script once did not help, I need to apply it twice.