Massive merge from sync-experiment branch.

MUCH better performance all-around, improved global convergence, added
async prototype, lazy vertex versions behind flag, Breeze optimizer as
default, Breeze logging enabled, higher precision by default, various
bug fixes, …