https://github.com/angr/binsync/pull/129# hey look, they're serializing all the things, now they're going to synchronize all of them...but performance might be an issue...maybe they should select the things and then synchronize.