Merge with Pansenti: SyntroDB threading fixes