Facebook has announced that it’s open-sourcing Infer, a code verification tool used to identify buggy mobile code before it ships. The social network giant procured Infer as part of a deal to acquire “certain assets” of London-based Monoidics back in 2013, with the team joining Facebook in the process. The company recently open-sourced HipHop VM…