Google's Fuzz bot exposes over 1,000 open-source bugs