WIP: ci: enable infer on test phase

infer is a static analysis tool from Facebook, that's enabled as a CI test to catch most common issues such as:

• stack array overflows
• possible NULL dereferences
• possible undefined behavior
• using garbage results

it's running with relaxed rules to prevent failing on false positives, (e.g. invalid memory leaks) and harmless errors (dead stores)